Table Of ContentLecture Notes in Computer Science 6308
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
David Cohen (Ed.)
Principles and Practice
of Constraint
Programming – CP 2010
16th International Conference, CP 2010
St. Andrews, Scotland, September 6-10, 2010
Proceedings
1 3
VolumeEditor
DavidCohen
DepartmentofComputerScience
RoyalHolloway,UniversityofLondon
Egham,Surrey,TW200EX
UnitedKingdom
E-mail:[email protected]
LibraryofCongressControlNumber:2010933521
CRSubjectClassification(1998):F.4.1,F.2,F.3,G.2,F.1,E.1
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
ISSN 0302-9743
ISBN-10 3-642-15395-XSpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-15395-2SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2010
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper 06/3180
Preface
The 16th annual International Conference on the Principles and Practice of
Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during
September 6–10, 2010. We would like to thank our sponsors for their generous
support of this event.
This conference is concerned with all aspects of computing with constraints,
including:theory,algorithms,applications,environments,languages,modelsand
systems.
We received a wide variety of submissions, each of which was reviewed by
at least three referees. Referees were chosen for each submission by an initial
bidding process where Program Committee members chose papers from their
area of interest. The range of expertise represented by the large ProgramCom-
mittee meant that almost all submissions were reviewed by subject experts on
the Program Committee, or by colleagues chosen by members of the Program
Committeefortheirparticularexpertise.Papersweresolicitedeitheraslong(15
page), or short (8 page) submissions. Short-paper submissions were refereed to
exactly the same high standards as long-paper submissions but naturally were
expectedtocontainasmallerquantityofnewmaterial.Thusthereisnodistinc-
tion in these proceedings between short and long papers. I used the excellent
EasyChairconference managementsystem to support this process of reviewing,
and for the collation and organization of these proceedings.
Submissions were made either to the applications track or to the research
track.Therewere101(23short)researchtracksubmissionsofwhich36(8short)
wereaccepted,whichisa36%(35%ofshort)acceptancerate.Applicationstrack
submissions received special consideration and the acceptance rate was signifi-
cantly higher than for the research track. There were 21 (2 short) applications
track submissions of which 11 (1 short) were accepted for a 52% (50% of short)
acceptance rate.
Therewerethreeinvitedtalksfromdistinguishedscientists:RobertNieuwen-
huis, Edward Tsang and Moshe Vardi. These proceedings include abstracts of
eachoftheirpresentations.Detailsofthewidevarietyofworkshopsandthefour
tutorials that took place as part of the conference are also included.
I would like to thank the Association for Constraint Programming (ACP)
for inviting me to be Program Chair. It has been a rewarding experience, not
only because of the high quality of the papers submitted, but also for the help
so readily given to me by friends and colleagues around the world.
I want to thank all of the authors for submitting such interesting papers. It
istheir hardworkthatmakesthe conferencesointeresting,butthe highquality
of the submissions also makes the decisionprocess challenging.I would also like
to thank the members of the Program Committee for agreeing to help in the
VI Preface
first place, and for the excellent standardof reviewing.My particular thanks go
to those people who providedfourth reviews when decisions were most difficult.
Several people deserve special mention. Karen Petrie, who, as Conference
Chair, saved my life on many occasions. Ian Gent, who, as the Program Chair
for CP 2009, was a source of invaluable information, warnings and good ad-
vice. Barry O’Sullivan for his speedy replies to questions, and general support.
Peter Stuckey, who was the Applications Track Chair, Pedro Meseguer for the
workshop organization, Thomas Schiex for managing the tutorials and Peter
Nightingale and Standa Zivny for running the doctoral program.
The local Organizing Committee always put in a great deal of work, often
unthanked,to make a conference like this successful.Andrea Rendl as Publicity
Chair and Neil Moore who ran the website helped me a lot during the build up
to CP 2010.
September 2010 David Cohen
Distinguished Papers
The Program Committee chose one paper from the Research Track, one paper
fromtheApplicationsTrackandoneStudentPapertoberecognizedasachieving
the highest standard submitted in their category.
Best Research Paper
Testing Expressibility Is Hard, by Ross Willard.
Best Applications Paper
Applying Constraint Programming to Identification and Assignment of Service
Professionals, by Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors,
Donna L. Gresh, Julio Ortega and Michael J. Mcinnis.
Best Student Paper
Computing the Density of States of Boolean Formulas,byStefano Ermon,Carla
Gomes and Bart Selman.
Workshops and Tutorials
Workshops
As part of CP 2010 a number of workshops took place the day before the main
conference, on September 6, 2010.
– 9th Workshop on Constraint Modelling and Reformulation (ModRef 2010)
– 10thWorkshoponSymmetry inConstraintSatisfactionProblems(SymCon
2010)
– 7thWorkshoponLocalSearchTechniquesinConstraintSatisfaction(LSCS
2010)
– ThirdWorkshoponQuantificationinConstraintProgramming(QiCP2010)
– 10th Workshop on Preferences and Soft Constraints (SofT 2010)
– Third Workshop on Techniques for Implementing Constraint Programming
Systems (TRICS 2010)
– First Workshop on Constraint Reasoning and Graphical Structures
– Third Workshop on Constraint Reasoning and Optimization for Computa-
tional Sustainability (CROCS at CP-10)
Tutorials
Four tutorial presentations were given during the main program of the confer-
ence.
– Distributed CSP, by Amnon Meisels.
– SAT with Many Cores, by Youssef Hamadi.
– The Valued CSP (VCSP), by Martin Cooper, Peter Jeavons and Simon de
Givry.
– Backdoors in CSPs, by Barry O’SUllivan.
Organization
Executive Committee
Conference Chair Karen Petrie (University of Dundee, UK)
ProgramChair DavidCohen,(RoyalHolloway,Universityof London,UK)
Applications ChairPeter Stuckey (University of Melbourne, Australia)
Workshop Chair Pedro Meseguer (IIIA-CSIC, Spain)
Tutorial Chair Thomas Schiex (INRA Toulouse, France)
Doctoral Program Peter Nightingale (University of St. Andrews, UK)
Chairs Standa Zˇivny´ (University of Oxford, UK)
Sponsorship Chair Ian Miguel (St. Andrews, UK)
Publicity Chair Andrea Rendl (St. Andrews, UK)
Sponsors
4C - Cork Constraint Computational Centre
ACP, Association for Constraint Programming
Google, EMEA University Programs
IBM Research
Institute for Computational Sustainability, Cornell University, USA
NICTA, National Information and Communications Technology, Australia
Optimisation for Sustainable Development, Ecole Polytechnique, France
SICS - Swedish Institute of Computer Science
Program Committee
Roman Bartak Charles University, Czech Republic
Peter van Beek University of Waterloo, Canada
Hubie Chen Universitat Pompeu Fabra, Spain
Andy Chun City University of Hong Kong, Hong Kong
David Cohen Royal Holloway, University of London, UK
Martin Cooper IRIT-UPS, Toulouse, France
Victor Dalmau Universitat Pompeu Fabra, Spain
Rina Dechter University of California, Irvine, USA
Alan Frisch University of York, UK
Ian Gent University of St. Andrews, UK
Carla Gomes Cornell University, USA
Emmanuel Hebrard Cork Constraint Computation Centre, Ireland
Brahim Hnich Izmir University of Economics, Turkey
Peter Jeavons University of Oxford, UK
George Katsirelos CRIL, CNRS, France
Zeynep Kiziltan University of Bologna, Italy
XII Organization
Jimmy Lee The Chinese University of Hong Kong,
Hong Kong
Pedro Meseguer IIIA-CSIC, Spain
Laurent Michel University of Connecticut, USA
Peter Nightingale University of St. Andrews, UK
Barry O’Sullivan Cork Constraint Computation Centre, Ireland
Justin Pearson Uppsala University, Sweden
Karen Petrie University of Dundee, University of Dundee,
UK
Claude-Guy Quimper Universit´e Laval, France
Emma Rollon Technical University of Catalonia, Spain
Francesca Rossi University of Padova, Italy
Thomas Schiex INRA Toulouse, France
Christian Schulte KTH - Royal Institute of Technology, Sweden
Meinolf Sellmann Brown University, USA
Helmut Simonis Cork Constraint Computation Centre, Ireland
Kostas Stergiou University of the Aegean, Greece
Peter Stuckey University of Melbourne, Australia
Mark Wallace Monash University, Australia
Toby Walsh NICTA, Australia
Roland Yap National University of Singapore, Singapore
Standa Zˇivny´ University of Oxford, UK
Organizing Committee
David Cohen Royal Holloway, University of London
Maria Fox University of Strathclyde
Alan Frisch University of York
Ian Gent University of St. Andrews
Youssef Hamadi Microsoft Research, Cambridge
Peter Jeavons University of Oxford
Chris Jefferson University of St. Andrews
Tom Kelsey University of St. Andrews
Andrei Krokhin University of Durham
Steve Linton University of St. Andrews
Derek Long University of Strathclyde
Ian Miguel University of St. Andrews
Karen Petrie University of Dundee
Patrick Prosser University of Glasgow
Barbara Smith University of Leeds
Edward Tsang University of Essex
Description:The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of
