Principles and Practice of Constraint Programming: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings PDF
Preview Principles and Practice of Constraint Programming: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Christian Schulte (Ed.) 4 2 1 Principles and Practice 8 S C of Constraint Programming N L 19th International Conference, CP 2013 Uppsala, Sweden, September 2013 Proceedings 123 Lecture Notes in Computer Science 8124 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 Christian Schulte (Ed.) Principles and Practice of Constraint Programming 19th International Conference, CP 2013 Uppsala, Sweden, September 16-20, 2013 Proceedings 1 3 VolumeEditor ChristianSchulte KTHRoyalInstituteofTechnology SchoolofInformationandCommunicationTechnology P.O.BoxForum120 16440Kista,Sweden E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-40626-3 e-ISBN978-3-642-40627-0 DOI10.1007/978-3-642-40627-0 SpringerHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013947084 CRSubjectClassification(1998):F.4.1,G.1.6,F.2.2,F.3,G.2.2,D.3.2,F.1,E.1,I.2.8 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This volume contains the proceedings of the 19th International Conference on Principles and Practice of Constraint Programming(CP 2013)that was held in Uppsala, Sweden, September 16–20, 2013. Detailed information on the confer- ence can be found on its website cp2013.a4cp.org. The CP conference is the annual international conference on constraint programming. It is concerned with all aspects of computing with constraints, includingtheory,algorithms,environments,languages,models,systems,andap- plicationssuchasdecisionmaking,resourceallocation,andagreementtechnolo- gies. Besides the main technical track, CP 2013 featured an application track, which focused on uses of constraint technology and its comparison and integra- tion with other optimization techniques (MIP, local search, SAT, ...). The interest of the research community in this conference was witnessed by the large number of submissions received this year. We received 170 (long and short) papers as follows: 138 papers submitted to the main track and 32 to the application track. Both long and short papers were reviewed to the same high standards of quality and no long papers were accepted as short papers. The reviewing process for the main track used a two-level Program Commit- tee, consistingofsenior ProgramCommittee members andProgramCommittee members. Senior Program Committee members were responsible for managing a set of papers in their respective areas of expertise. They met in Stockholm during June 8–9, 2013. Each paper received at least three reviews, was exten- sively discussed, and additional reviews were added when needed. At the end of the reviewing process, we accepted 47 papers for the main technical track and 12papersforthe applicationtrack.All paperswerepresentedatthe conference. Amongsttheacceptedpapers,JimmyLee,TobyWalsh,andIselectedabest technical track paper (“ParallelDiscrepancy-BasedSearch” by Thierry Moisan, JonathanGaudreault,andClaude-GuyQuimper),abestapplicationtrackpaper (“Bin Packing with Linear Usage Costs – An Application to Energy Manage- mentinDataCentres”byHadrienCambazard,DeepakMehta,BarryO’Sullivan, andHelmut Simonis), anda beststudent paper (“Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem” by Jean-Guillaume Fages and Tanguy Lap`egue). I am grateful to Jimmy Lee and Toby Walsh for their expert help in the selection process. The conference program featured three invited talks, an invited public lec- ture,andaninvitedsystempresentationbydistinguishedscientists.Thisvolume includes abstracts for the invited talks by Michela Milano, TorstenSchaub, and Peter Stuckey and the invited public lecture by Pascal Van Hentenryck. It also includes a paper for the invited system presentation by Pascal Van Hentenryck and LaurentMichel. The conference programincluded four tutorials: “MaxSAT VI Preface LatestDevelopments”byCarlosAnso´tegui,“ReplicationandRecomputationin Scientific Experiments” by Ian Gent and Lars Kotthoff, “Constraint Program- ming for Vehicle Routing Problems” by Phil Kilby, and “Constraint Program- ming for the Control of Discrete Event Dynamic Systems” by G´erard Verfaille. As an additional part of the program, Peter Stuckey and H˚akan Kjellerstrand organizedthefirstinternational“LightningModelandSolveCompetition”.The winners of the 2013 ACP Research Excellence Award and Doctoral Research Award presented their award talks. Many thanks to all of them for making es- sential contributions to an exciting conference program! TheconferenceincludedaDoctoralProgram,whichalloweddoctoralstudents to come to the conference, present their work, and meet a mentor with similar researchinterests.IamverygratefultoChristopherMearsandNinaNarodytska for doing a wonderful job in organizing the Doctoral Program. The conference would not have been possible without the high-quality and interesting submissions from authors, which made the decision process so chal- lenging. I would like to thank the whole ProgramCommittee for the time spent in reviewing papers and in discussions. I am grateful to the additional review- ers, often recruited on very short notice. A special thank you goes to the senior ProgramCommittee members for driving discussions, writing metareviews, and coming to the meeting in Stockholm. I would like to thank Gilles Pesant, who handled papers where I had a conflict of interest. The conference would not have been possible without the great job done by Mats Carlsson, Pierre Flener, and Justin Pearson as Conference Chairs. They expertly took care of the local organization and I enjoyed our smooth and ef- ficient collaboration. For conference publicity, I very much thank Guido Tack, who did a great job in advertising the conference and for a professional and always up-to-date website. I am very grateful to Laurent Michel, who acted as Workshop and Tutorial Chair and put together an exciting workshop and tu- torial program. I am also grateful to Jimmy Lee and Peter Stuckey for sharing their past experiences as CP ProgramChairs with me. I gratefully acknowledge local help in sponsoring matters by Karin Fohlstedt, Charlotta J¨ors¨ater, and Victoria Knopfas well as in organizingthe physicalSenior ProgramCommittee meeting by Sandra Gustavsson Nyl´en. The Conference Chairs and I took on the task of soliciting sponsors for CP 2013. We would like to thank our many sponsors for their extraordinarily gen- erous support; they are prominently—and deservedly so—listed in alphabetical order on a following page. Last but not least, I want to thank the ACP Executive Committee for hon- oring me with the invitation to serve as ProgramChair of CP 2013. June 2013 Christian Schulte Conference Organization Conference Chairs Mats Carlsson SICS, Sweden Pierre Flener Uppsala University, Sweden Justin Pearson Uppsala University, Sweden Program Chair and Application Track Chair Christian Schulte KTH Royal Institute of Technology, Sweden Workshop and Tutorial Chair Laurent Michel University of Connecticut, USA Doctoral Program Chairs Christopher Mears Monash University, Australia Nina Narodytska University of Toronto, Canada, and University of New South Wales, Australia Publicity Chair Guido Tack Monash University, Australia Senior Program Committee Yves Deville UCLouvain, Belgium Pierre Flener Uppsala University, Sweden George Katsirelos INRA, Toulouse, France Christophe Lecoutre CRIL, University of Artois, France Jimmy Lee The Chinese University of Hong Kong Amnon Meisels Ben-Gurion University of the Negev, Israel Pedro Meseguer IIIA-CSIC, Spain Laurent Michel University of Connecticut, USA Barry O’Sullivan 4C, University College Cork, Ireland Gilles Pesant E´cole Polytechnique de Montreal, Canada Michel Rueher University of Nice - Sophia Antipolis, France Stefan Szeider Vienna University of Technology, Austria VIII Conference Organization Michael Trick Carnegie Mellon University, USA Willem-Jan Van Hoeve Carnegie Mellon University, USA Toby Walsh NICTA and UNSW, Australia Roland Yap National University of Singapore Technical Program Committee Fahiem Bacchus University of Toronto, Canada Chris Beck University of Toronto, Canada Nicolas Beldiceanu E´cole des Mines de Nantes, France Christian Bessiere Universit´e Montpellier, France Mats Carlsson SICS, Sweden Hubie Chen Universidad del Pa´ıs Vasco and Ikerbasque, Spain Geoffrey Chu University of Melbourne, Australia Ivan Dotu Boston College, USA Thibaut Feydy University of Melbourne, Australia Ian Gent University of St. Andrews, UK Alexandre Goldsztejn CNRS, France Emmanuel Hebrard LAAS, CNRS, France John Hooker Carnegie Mellon University, USA Said Jabbour CRIL, University of Artois, France Peter Jeavons University of Oxford, UK Christopher Jefferson University of St. Andrews, UK Narendra Jussien E´cole des Mines de Nantes, France Serdar Kadıog˘lu Oracle Corporation, USA Lars Kotthoff University College Cork, Ireland Michele Lombardi University of Bologna, Italy Ines Lynce Technical University of Lisbon, Portugal Christopher Mears Monash University, Australia Ian Miguel University of St. Andrews, UK Michela Milano University of Bologna, Italy Jean-No¨el Monette Uppsala University, Sweden Peter Nightingale University of St. Andrews, UK Justin Pearson Uppsala University, Sweden Thierry Petit E´cole des Mines de Nantes, France Claude-Guy Quimper Universit´e Laval, Canada Louis-Martin Rousseau E´cole Polytechnique de Montreal, Canada Jean-Charles R´egin Universit´e Nice Sophia Antipolis, France Ashish Sabharwal IBM Research, USA Thomas Schiex INRA, France Meinolf Sellmann IBM Research, USA Conference Organization IX Paul Shaw IBM, France Helmut Simonis 4C, Ireland Christine Solnon INSA Lyon, France Peter Stuckey NICTAandUniversityofMelbourne,Australia Guido Tack Monash University, Australia Peter Van Beek University of Waterloo, Canada Pascal Van Hentenryck NICTAandUniversityofMelbourne,Australia Brent Venable Tulane University, USA G´erardVerfaillie ONERA, France Roie Zivan Ben-Gurion University of the Negev, Israel Stanislav Zˇivny´ University of Warwick, UK Application Track Program Committee Claire Bagley Oracle Corporation, USA Pedro Barahona Universidade Nova de Lisboa, Portugal Ken Brown University College Cork, Ireland Hadrien Cambazard Grenoble University, France Philippe Codognet CNRS / UPMC / University of Tokyo, Japan Sophie Demassey E´cole des Mines de Nantes, France Pierre Flener Uppsala University, Sweden Maria Garcia de la Banda Monash University, Australia Arnaud Gotlieb SIMULA Research Laboratory, Norway Jimmy Lee The Chinese University of Hong Kong Michele Lombardi University of Bologna, Italy Laurent Michel University of Connecticut, USA Tomas Eric Nordlander SINTEF ICT, Norway Barry O’Sullivan 4C, University College Cork, Ireland Federico Pecora O¨rebro University, Sweden Laurent Perron Google, France Michel Rueher Universit´e Nice Sophia Antipolis, France Jean-Charles R´egin Universit´e Nice Sophia Antipolis, France Martin Sachenbacher Technische Universita¨t Mu¨nchen, Germany Pierre Schaus UCLouvain, Belgium Thomas Schiex INRA, France Paul Shaw IBM, France Helmut Simonis 4C, Ireland Peter Stuckey NICTAandUniversityofMelbourne,Australia Guido Tack Monash University, Australia G´erardVerfaillie ONERA, France Mark Wallace Monash University, Australia X Conference Organization Additional Reviewers Alejandro Arbelaez Barry Hurley James Bailey Siddhartha Jain Anton Belov Mikol´aˇs Janota David Bergman Nicolas Jozefowiez Christoph Berkholz Narendra Jussien Christian Bessiere George Katsirelos Manuel Bodirsky Zeynep Kiziltan Alessio Bonfietti William Klieber Simone Bova Arun Konagurthu Simon Brockbank Marco Kuhlmann Cl´ement Carbonnel Uwe K¨ockemann Gilles Chabert Arnaud Lallouet Jeff Choi Javier Larrosa Andre Cire Yat Chiu Law David Cohen Nadjib Lazaar Remi Coletta Kevin Leo Martin Cooper Olivier Lhomme Jorge Cruz Chu-Min Li Veronica Dahl Jerry Lonlac Alessandro Dal Palu` Florian Lonsing Jessica Davies Xavier Lorca Simon de Givry Jean-Baptiste Mairy Alban Derrien Terrence W.K. Mak Gregory Duck Arnaud Malapert Renaud Dumeur Yuri Malitsky Uwe Egly Vasco Manquinho Stefano Ermon Masoumeh Mansouri Pierre Flener Joao Marques-Silva Mar´ıa Andre´ına Francisco Rodr´ıguez Barnaby Martin Maurizio Gabbrielli Nicholas Mattei Graeme Gange Jacopo Mauro Marco Gavanelli Christopher Mears Vibhav Gogate Pedro Meseguer Arnaud Gotlieb Claude Michel Laurent Granvilliers Andrea Micheli Diarmuid Grimes Michela Milano Stefano Gualandi Thierry Moisan Evgeny Gurevsky Eric Monfroy Hossein Seyed Hashemi Doulabi Jorge A. Navas Patrik Haslum Samba Ndojh Ndiaye Farshid Hassani Bijarbooneh Robert Nieuwenhuis Benoˆıt Hoessen Todd Niven Marie-Jos´eHuguet Alexandre Papadopoulos
The list of books you might like
