Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

798 Pages·2019·38.733 MB·English

by  Thomas Schiex, Simon de Givry

Thomas Schiex
Simon de Givry (Eds.)
2
0
8
1
Principles and Practice
1

S
C
of Constraint Programming
N
L
25th International Conference, CP 2019
Stamford, CT, USA, September 30 – October 4, 2019
Proceedings
Lecture Notes in Computer Science 11802
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
Editorial Board Members
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Gerhard Woeginger
RWTH Aachen, Aachen, Germany
Moti Yung
Columbia University, New York, NY, USA
More information about this series at http://www.springer.com/series/7408
Thomas Schiex Simon de Givry (Eds.)
(cid:129)
Principles and Practice
of Constraint Programming
25th International Conference, CP 2019
–
Stamford, CT, USA, September 30 October 4, 2019
Proceedings
123
Editors
ThomasSchiex Simon deGivry
INRA INRA
Castanet Tolosan, France Castanet Tolosan, France
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-30047-0 ISBN978-3-030-30048-7 (eBook)
https://doi.org/10.1007/978-3-030-30048-7
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
©SpringerNatureSwitzerlandAG2019
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, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
This volume contains the proceedings of the 25th International Conference on the
Principles and Practice of Constraint Programming (CP 2019), which was held in
Stamford, Connecticut, USA, during September 30 – October 4, 2019. Detailed
informationabouttheconferenceshouldbeavailableathttp://cp2019.a4cp.org.TheCP
conference is the annual international conference on constraint programming. It is
concernedwithallaspectsofcomputingwithconstraints,includingtheory,algorithms,
environments, languages, models, systems, and applications such as decision making,
resource allocation, scheduling, configuration, planning, or automated design. These
two facets of CP are represented by the technical and application track of the
conference.
The CP community is increasingly keen to ensure CP remains open to interdisci-
plinary research attheintersectionbetween constraintprogrammingandother directly
related fields. The senior Program Committee of the CP 2019 edition, therefore,
includedpeoplewithmixedbackgroundsbeyondCP–propositionallogicandinteger
linear programming, among others. To reach out beyond these direct ‘discrete opti-
mization’ connections, the CP 2019 edition continued to offer specialized thematic
tracks targeted at the frontier between CP and another specific area. With the current
progress and excitement around machine learning technology and the new opportu-
nities that such progress offers for modeling and solving, the CP, Data Science and
Machine Learning Track was the most successful thematic track of this edition,
attractingevenmoresubmissionsthantheapplicationtrack.Otherthematictrackswere
targeted at specific application domains that often raise specific challenges for CP,
including the Testing and Verification Track, the Multi-agent and Parallel CP Track,
theComputationalSustainabilityTrackandtheCPandLifeSciencesTrack.Eachtrack
has a specific sub-committee to ensure that specialist reviewers from the relevant
domains vetted papers in their track.
We invited submissions to all tracks and we received 118 submissions (excluding
abstracts).ThereviewprocessofCP2019reliedonamultitierapproachinvolvingone
senior Program Committee with Program Committees for all tracks and additional
reviewersrecruitedbyProgram Committee members.Authorscouldsubmiteither full
papers, with a maximum length of 15 pages without references and abstracts that are
notincludedintheseproceedings.Allfullpapersubmissionswereassignedtoasenior
Program Committee member and three members of the relevant track Program
Committee. Authors were given the opportunity to respond to reviews, generating
discussions overseen by the senior Program Committee members and the chairs.
Abstractsweredirectlymanagedbythechairs.Meetingsbetweentheconferencechairs
andallmembersoftheseniorProgramCommitteewereheldattheendofJune,chaired
by the program chairs, where the reviews, author feedback, and discussions were
revisited in detail, based on meta-reviews previously prepared by senior Program
Committee members. The result of this was that the acceptance rate was 39%. The
vi Preface
seniorProgram Committeeandthechairsawarded theBestConferencePaperPrizeto
Alex Mattenet, Ian Davidson, Siegfried Nijssen, and Pierre Schaus for “Generic
Constraint-based Block Modeling using Constraint Programming,” the Best Student
PaperPrizetoRocsildesCanoyandTiasGunsfor“VehicleRoutingbyLearningfrom
HistoricalSolutions,”andtheDistinguishedStudentPaperPricetoMohdHafizHasan
and Pascal Van Hentenryck for “The Flexible and Real-Time Commute Trip Sharing
Problems.” The program chairs also invited two papers for direct publication in the
Constraints journal (Editor-in-Chief Michela Milano). These papers were presented at
the conference like any other paper and appeared later in the Constraints journal.
Awardedpapersandnominatedpaperswerealsoinvitedtosubmitanextendedversion
of their paper in the JAIR journal (with its own rigorous reviewing process being
applied to these extended submissions).
TheconferenceprogramfeaturedfourinvitedtalksbyIanDavidson,BistraDilkina,
NinaNarodystka,andPhebeVayanos.Theseinvitedtalkswereselectedwiththesenior
Program Committee with the general idea of supporting the current trend of
hybridization between CP and machine learning, and the increasing importance of
‘algorithms’ineverybody’slife.Thisvolumeincludesone-pageabstractsoftheirtalks.
Theconferencealsoincludedfourtutorialsandthreesatelliteworkshops,whosetopics
are listed in this volume. The doctoral program gave Ph.D. students an opportunity to
present their work to more senior researchers, to meet with an assigned mentor for
adviceontheirresearchandearlycareer,toattendspecialinvitedtalks,andtointeract
with each other. Doctoral program papers went through an internal reviewing process
thatallowedyoungscientiststofamiliarizethemselveswithreviewing,discussion,and
with the usage of EasyChair, the usual CP conference submissions management tool.
Theprogramchairsaregratefultothemanypeoplethatmadethisconferencesucha
success. First of all, we are grateful to the authors who provided the material from
which the conference is made. Then to the senior Program Committee members who
helped us in several of the crucial phases of the conference organization, be it for
tutorial and invited speaker selection or for reviews, rebuttal, and discussion man-
agement, meta-review writing, and participation in live remote meetings for final
acceptancedecisions(sometimesatextremehours).Thechairsarealsoextremelyliable
to the members of the program committees. By filtering the most novel and original
contributions and maintaining high standards of quality in rigor and writing quality,
their work is essential for both authors and the community at large. The chairs also
address a very special thanks to the authors of various additional reviews that were
needed to give all papers enough reviews from qualified persons.
Ofcourse,thereisawholeteamstandingaroundus,whodirectlymanagedspecific
aspects of the conference: Pierre Schaus (Application track chair), Michele Lombardi
and Tias Guns (CP, Data Science and Machine Learning track), Arnaud Gotlieb and
NadjibLazaar(TestingandVerificationtrack),FerdinandoFiorettoandWilliamYeoh
(Multi-agent and Parallel CP track), Michela Milano and Barry O’Sullivan (Compu-
tational Sustainability track), François Fages and Sylvain Soliman (CP and Life Sci-
ences track), Javier Larrosa (workshop and tutorial chair), and Charlotte Truchet
(publicity chair).
We would also like to thank the Association for Constraint Programming (ACP).
The ACP has been managing the conference for fifteen years now, the conference
Preface vii
benefitsfromveryhelpfulorganizationsupport.Theprogramchairsaregratefulforthe
help of the ACP president (Maria Garcia de la Banda) and the ACP conference
coordinator (Claude-Guy Quimper) for their support and availability when we needed
them.
The conference would not have been possiblewithout the great job done by all the
people involved in the local organization. The program chairs heavily relied on the
local chair (David Bergman) to provide support for all the special contributors to the
CP2019programsuchasinvitedtalksandtutorial speakersandtospeedilyannounce
program updates on the conference website. David was supported in this endeavor by
Ugochukwu Etudo, Tamilla Triantoro, Niam Yaraghi, Mohsen Emadikhiav, Teng
Huang, Saharnaz Mehrani, and Arvind Raghunathan. We would therefore also like to
thank the institutions that supported them during the organization: the University of
Connecticut first, but also the Quinnipiac University and the Mitsubishi Electric
Research Lab.
Weacknowledgethegeneroussupportofalloursponsors.Theyinclude,atthetime
of this writing:
– The Artificial Intelligence Journal (Elsevier)
– Cosling (a French CP startup)
– Huawei
– IBM Research
– AIMMS
– Mitsubishi Electric Research Laboratories Inc.
– The Optimization Firm
– Springer
Thanks to these donations, the local chairs have been able to make CP even better,
especially by supporting some of the doctoral program expenses.
July 2019 Thomas Schiex
Simon de Givry
Tutorials and Workshops
Tutorials
Complete Characterisation of Tractable Constraint Languages
Andrei Bulatov School of Computing Science, Simon Fraser
University, Canada
Planning/Scheduling with CP Optimizer
Philippe Laborie IBM CPLEX Optimization Studio, IBM France Lab,
France
Graphical Models and Constraint Satisfaction Problems
Tomas Werner Center for Machine Perception, Czech Technical
University, Czech Republic
Building a Fast CSP Solver based on SAT
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA
Workshops
Constraint Modeling and Reformulation (ModRef 2019)
Kevin Leo Monash University, Australia
Alan Frisch University of York, UK
Progress Towards the Holy Grail (PTHG 2019)
Eugene Freuder University College Cork, Ireland
Constraint Solving and Special Purpose Hardware Architectures
J. Christopher Beck University of Toronto, Canada
Merve Bodur University of Toronto, Canada
Carleton Coffrin Los Alamos National Laboratory, USA
Organization
Program Chairs
Simon de Givry INRA, France
Thomas Schiex INRA, France
Conference Chair
David Bergman University of Connecticut, USA
Application Track Chair
Pierre Schaus Université Catholique de Louvain, Belgium
Computational Sustainability Track Chairs
Michela Milano University of Bologna, Italy
Barry O’Sullivan Insight Center for Data Analytics, University College,
Ireland
CP and Life Sciences Track Chairs
François Fages Inria, France
Sylvain Soliman Inria, France
CP, Data Science and Machine Learning Track Chairs
Michele Lombardi University of Bologna, Italy
Tias Guns VUB Brussels, Belgium
Multi-agent and Parallel CP Track Chairs
Ferdinando Fioretto Georgia Institute of Technology, USA
William Yeoh Washington University in St Louis, USA
Testing and Verification Track Chairs
Arnaud Gotlieb SIMULA Research Laboratory, Norway
Nadjib Lazaar LIRMM Montpellier, France