Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

913 Pages·2016·48.309 MB·English

by  Michel Rueher (eds.)

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