Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings PDF
Preview Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Lecture 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 Organization XIII Additional Reviewers Kiyan Ahmadizadeh Arnaud Lallouet Ozgur Akgun Javier Larrosa Alexandre Albore Yat Chiu Law Carlos Ans´etegui Ronan LeBras Magnus ˚Agren Chavalit Likitvivatanavong Thanasis Balafoutis Michele Lombardi Mauro Bampo Derek Long Ralph Becket Ines Lynce Christian Bessiere Michael Lyu Manuel Bodirsky Yuri Malitsky Andrej Bogdanov Toni Mancini Simone Bova Radu Marinescu Martin Brain Joao Marques-Silva Sebastian Brand Robert Mateescu Ken Brown Jacopo Mauro Andrei Bulatov Chris Mears Hadrien Cambazard Deepak Mehta Catarina Carvalho Ian Miguel Kenil Cheng Michela Milano Geoffrey Chu Neil Moore Pa´id´ı Creed Nina Narodytska James Cussens Gustav Nordh Jessica Davies Olga Ohrimenko Simon de Givry Albert Oliveras Thibaut Feydy Lars Otten Pierre Flener Justyna Petke Yong Gao Maria Silvia Pini Marco Gavanelli C´edric Pralet Vibhav Gogate Steve Prestwich Laurent Granvilliers Steven Prestwich Magnus gren Luis Quesada Tarik Hadzic Miguel Ram´ırez Daniel Harabor Andrea Rendl Martin Henz Enric Rodr´ıguez-Carbonell Tim Januschowski Roberto Rossi Christopher Jefferson Michel Rueher Serdar Kadioglu Tyrel Russell Kalev Kask Ashish Sabharwal Richard Kelly Domenico Salvagnin Lars Kotthoff Horst Samulowitz Lukas Kroc Andrew Santosa Andrei Krokhin Tom Schrijvers Daniel Kudenko Brand Sebastian Mikael Zayenz Lagerkvist Charles F.K. Siu
The list of books you might like
