Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings PDF
Preview Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Michel Rueher (Ed.) 2 9 8 Principles and Practice 9 S C of Constraint Programming N L 22nd International Conference, CP 2016 Toulouse, France, September 5–9, 2016 Proceedings 123 Lecture Notes in Computer Science 9892 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zürich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7408 Michel Rueher (Ed.) Principles and Practice of Constraint Programming 22nd International Conference, CP 2016 – Toulouse, France, September 5 9, 2016 Proceedings 123 Editor Michel Rueher University of Nice SophiaAntipolis SophiaAntipolis France ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-44952-4 ISBN978-3-319-44953-1 (eBook) DOI 10.1007/978-3-319-44953-1 LibraryofCongressControlNumber:2016948782 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerInternationalPublishingSwitzerland2016 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland Preface This volume contains the proceedings of the 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016), which was held in Toulouse, France, during September 5–9, 2016. Detailed information about the con- ference is available at http://cp2016.a4cp.org. The CP conference is the annual international conference on constraint program- ming.It isconcerned withall aspects ofcomputingwithconstraints, includingtheory, algorithms, environments, languages, models, systems, and applications such as decisionmaking,resourceallocation,scheduling,configuration,andplanning.TheCP community is very keen to ensure it remains open to interdisciplinary research at the intersection between constraint programming and related fields. Hence, in addition to the usual technical and application tracks, the CP 2016 conference featured the fol- lowing new thematic tracks: “Computational Sustainability”, “CP and Biology”, “Preferences, Social Choice and Optimization”, and “Testing and Verification”. Each trackhadaspecificsub-committeetoensurethatspecialistreviewersfromtherelevant domains vetted papers in the respective tracks. CP 2016 also introduced a challenge based on a realistic industrial-grade optimization problem. Forthepurposeoftheconference’sscientificprogramming,weinvitedsubmissions to all tracks, and we received 154 submissions, including 17 submissions for the “Journal-First and Sister Conferences Paper” track. The review process for CP 2016 relied on a multi-tier approach involving one senior Program Committee, dedicated regular Program Committees for all tracks, along with a set of additional reviewers recruited by Program Committee members. Authors submitted either long or short papers. All submissions were assigned to a senior Program Committee member and three members of the relevant track Program Committee. Authors were given an opportunity to respond to reviews before a detailed discussion was undertaken at the level of the Program Committees, overseen by the program chair, the senior Program Committee member, and the track chairs. The “Journal-First and Sister Conferences” track gives an opportunity to discuss important results in the area of constraint pro- gramming that appeared recently in relevant journals and sister conferences. Submis- sionswereevaluatedbyaseparateProgramCommitteeforrelevanceandsignificance. A meeting of the senior Program Committee was held at Banff –with participation by videoconference–attheendofMay,chairedbytheprogramchair,wherethereviews, author feedback,anddiscussionson every paper wererevisitedindetail.The result of this was that the acceptance rate for the technical track was a little under 45%. The seniorProgramCommitteeawardedtheBestConferencePaperPrizetoKrishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra, and Marc Vuffray for “Graphical Models for Optimal Power Flow”, the Distinguished Confer- ence Paper Prize to David Manlove, Iain McBride, and James Trimble for “Almost- Stable Matchings in the Hospitals/Residents Problem with Couples”, the Best Student Paper Prize to Clément Carbonnel for “The Dichotomy for Conservative Constraint VI Preface Satisfaction Is PolynomiallyDecidable”, and theDistinguished Student PaperPrize to Kyle E.C. Booth, Goldie Nejat, and J. Christopher Beck for “A Constraint Program- ming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes”. The program chair, the journal publication fast track chair, Willem-Jan van Hoeve, and the Constraints journal editor-in-chief, Michela Milano, also invited four papers from the technical and application tracks for direct publication in that journal. These were presented at the conference like any other paper and they appear in the proceedings as a one-page abstract. The conference program featured four invited talks by Pascal Van Hentenryck, David Manlove, Andrey Rybalchenko, and Zico Kolter. This volume includes one-page abstracts of their talks. The conference also featured four tutorials and six satellite workshops, whose topics are listed in this volume. The conference also fea- turedfourtutorialsandfivesatelliteworkshops,whosetopicsarelistedinthisvolume. TheDoctoralProgramgavePhDstudentsanopportunitytopresenttheirworktomore senior researchers, to meet with an assigned mentor for advice on their research and early career, to attend special tutorials, and to interact with one another. Iamgratefultomanypeoplewhomadethisconferencesuchasuccess.Firstofall, to the authors who provided excellent material to select from. Then to the members of the Program Committees and additional reviewers who worked hard to provide constructive, high-quality reviews, to members of the senior Program Committee who helped me ensure that each paper was adequately discussed, wrote meta-reviews for their assigned papers, and participated in live remote deliberations — for some, quite earlyorlateintheday.Ofcoursethereisawholeteamstandingwithme,whochaired variousaspectsoftheconference:ThomasSchiex(ConferenceChair),LaurentMichel (Application Track Chair), Carla Gomes, Michela Milano and Christine Solnon (Computational Sustainability Track Chairs), Agostino Dovier and Alessandro Dal Palù (CP and Biology Track Chairs), Charlotte Truchet (MusicTrack Chair), Andreas Podelski and Arnaud Gotlieb (Testing and Verification Track Track Chair), Michela Milano(PublishedJournalandSisterConferencesPaperTrackChair),Willem-Janvan Hoeve (Journal Publication Fast-Track Chair), Pierre Flener (Workshop and Tutorial Chair), Pierre Schaus (ACP Challenge Chair), Tias Guns and Laura Climen (Doctoral Program Chairs), Helmut Simonis (Industry Outreach Chair), and Louis Martin Rousseau (Publicity Chair). The conference would not have been possiblewithout the great job done by all the people involved in the local organization: Lotte Berghman, Paul Gaborit, Simon de Givry,EmmanuelHebrard,ÉliseVareilles, Matthias Zytnicki,AlainPérault,Fabienne Ayrignac, Marie-José Huguet, David Allouche, Nathalie Julliand, George Katsirelos, Pierre Lopez, Alain Haït, Frédéric Maris, Cédric Pralet, Gérard Verfaillie, Nicolas Barnier, Frédéric Messine, and Vincent Vidal. We also want to thank the institutions thatsupportedthemduringtheorganization:theToulouseBusinessSchool(forhosting us too), the “École nationale supérieure des mines d’Albi-Carmaux” (also for website hosting and management), the National Institute for Agronomical Research (INRA – MIAT), the National Center for Scientific Research (CNRS – LAAS), the National Applied Sciences Institute (INSA Toulouse), the Higher Institute for Aeronautics and Space (ISAE), the Toulouse Computing Research Institute (IRIT – Toulouse Univer- sity), the National Office for Aerospace Research and Studies (ONERA), the Civil Preface VII Aviation National School (ENAC) and the Toulouse National Polytechnic Institute (INP Toulouse – ENSEEIHT). Thank you for your dedication! I acknowledge and thank our sponsors for their generous support: they include, at thetimeofthiswriting,theArtificialIntelligenceJournalDivision(AIJD)ofIJCAI,the French National Institute for Agronomical Research (INRA), Microsoft Research, the French National Center for Scientific Research (CNRS – INS2I), Google, Toulouse Business School, IBM, Cadence, Siemens, Data 61 (CSIRO), Toulouse University, Springer, the Molecular Bioinformatics GdR (GdR BIM, specifically for the Con- straints and Biology track), the Toulouse Computing Science Institute, the French National Office for Aerospace Research and Studies, the Institute for Computational Sustainability, the European Association for Artificial Intelligence (EurAI), the Swedish Institute of Computer Science, the French Society for Operations Research andAssistedDecisionMaking(ROADEF),N-Side,Cosling(ayoungstartup),Cosytec and LocalSolver (Innovation24, another startup). We finally want to thank the Occi- tanie Region, the Toulouse Métropole, for their forthcoming support. July 2016 Michel Rueher Tutorials and Workshops Tutorials Topics in Computational Sustainability Carla Gomes Cornell University, USA Constraint Programming in Music Charlotte Truchet University of Nantes, France Social Choice Francesca Rossi University of Padova, Italy Automated Program Analysis and Verification Andreas Podelski University of Freiburg, Germany Workshops Configuration Élise Vareilles Mines Albi, France Lars Hvam Technical University of Denmark, Denmark Cipriano Forza University of Padova, Italy Caroline Becke PROS Toulouse, France Constraint Programming and Artificial Intelligence Eugene C. Freuder University College Cork, Ireland CP Meets Verification Sébastien Bardin François Bobot and Nikolai Kosmatov (CEA LIST, France) Constraint Modelling and Reformulation (ModRef 2016) Steve Prestwich University College Cork, Ireland Constraint-Based Methods for Bioinformatics (WCB’16) Alessandro Dal Palù University of Parma, Italy Agostino Dovier University of Udine, Italy Simon de Givry INRA – MIAT, France Conference Organization Program Chair Michel Rueher University of Nice Sophia Antipolis, France Conference Chair Thomas Schiex INRA Toulouse, France Application Track Chair Laurent Michel University of Connecticut, USA Computational Sustainability Track Chairs Carla Gomes Cornell University, Ithaca, USA Michela Milano University of Bologna, Italy Christine Solnon INSA de Lyon, France CP and Biology Track Chairs Agostino Dovier University of Udine, Italy Alessandro Dal Palù University of Parma, Italy Music Track Chair Charlotte Truchet University of Nantes, France Preferences, Social Choice, and Optimization Track Chairs Francesca Rossi University of Padova, Italy Toby Walsh NICTA, Australia Testing and Verification Track Chairs Andreas Podelski University of Freiburg, Germany Arnaud Gotlieb Simula Research Laboratory, Norway Published Journal Track Chair Michela Milano University of Bologna, Italy
The list of books you might like
