Table Of ContentHelmut Simonis (Ed.)
3
3
3
2 Principles and Practice
1
S
C
of Constraint Programming
N
L
26th International Conference, CP 2020
Louvain-la-Neuve, Belgium, September 7–11, 2020
Proceedings
Lecture Notes in Computer Science 12333
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
Helmut Simonis (Ed.)
Principles and Practice
of Constraint Programming
26th International Conference, CP 2020
–
Louvain-la-Neuve, Belgium, September 7 11, 2020
Proceedings
123
Editor
Helmut Simonis
Insight Centrefor DataAnalytics,
Schoolfor Computer Science
andInformation Technology
University CollegeCork
Cork, Ireland
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-58474-0 ISBN978-3-030-58475-7 (eBook)
https://doi.org/10.1007/978-3-030-58475-7
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
©SpringerNatureSwitzerlandAG2020
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 papers presented at the 26th International Conference on
Principles and Practice of Constraint Programming (CP 2020), held during
September 7–11, 2020. The conference was originally planned to be held at UC
Louvain, Belgium. Due to the COVID-19 pandemic, we were forced to run the con-
ference as a virtual event instead.
Therewere122submissionsfortheconference.TheProgramCommitteedecidedto
accept 55 papers. As is customary for the CP conference series, we offered multiple
tracks for submitted papers to widen the scope of the conference and attract papers at
the interface of Constraint Programming and other disciplines. This year there were
tracks for:
– Technical Track
– Application Track
– Constraint Programming, Data Science and Machine Learning
– Testing and Verification
– Constraint Programming and Operations Research
– Computational Sustainability
I want to thank the application track chair, Andreas Schutt (Data61, Australia), the
CP/ML track chair, Michele Lombardi (DISI, University of Bologna, Italy), and the
chairfortheTestingandVerificationtrack,NadjibLazaar(LIRMM,France),fortheir
dedicated work. They selected and invited track specific Program Committees, helped
with the paper assignment across the different tracks, and managed the discussion and
final paper selection after the review phase.
The paper selection in the other tracks was supported by a Senior Program
Committee, who not only encouraged and guided the discussion of papers during
reviewing, but also provided meta-reviews as summaries and basis for the paper
selection.
The Program Committee for this year’s conference faced a specialchallenge as the
time given for reviewing was very compressed. The original submission deadline was
shiftedbymorethanfiveweekstocounteracttheimpactoftheCOVID-19lock-down
in many countries around the world. I was very impressed by, and thankful for, the
quality and detail of the reviews provided.
Thereviewerassignmentwasdecidedforalltracksatthesametime,tobalancethe
workload of all reviewers. For this, we used an extended version of a Constraint
Programming model developed and used last year by the CP 2019 program chairs,
Thomas Schiex and Simon de Givry.
Besides the paper tracks, the conference also had many other elements, handled by
special chairs. Maria-Andreina Francisco Rodriguez (Uppsalla University, Sweden)
organized the workshops on the first day of the conference, Lars Kotthoff (University
of Wyoming, USA) selected three tutorials for the main conference, and Edward Lam
vi Preface
(Monash University, Australia) and Kuldeep Meel (National University of Singapore,
Singapore) organized the Doctoral Program. All of these events were heavily affected
by the virtualization of the conference, requiring new ideas and methods.
Thebiggestchange,causedbythevirtualconference,wasfortheconferencechairs,
Tias Guns (VUB, Belgium), Siegfried Nijssen, and Pierre Schaus (both UC Louvain).
Having planned a beautiful conference on the campus of UC Louvain, they had to
completelyrethinktheorganization,planning,andfinancesforaverydifferenttypeof
conference.
Specialthanksgotothepublicitychair,HélèneVerhaeghe(UCLouvain),andlocal
publicity chair, Bernard Fortz (ULB, Belgium), for dealing with information updates
and handling communications with the overall community. The help of the president
of the Association for Constraint Programming, Maria Garcia de la Banda (Monash
University), and the conference coordinator of the ACP Executive Committee,
Claude-Guy Quimper (Laval University, Canada), especially during the initial lock-
down phase due to the COVID-19 pandemic, is gratefully acknowledged.
My final thanks go to the authors of paper submissions for CP 2020, writing their
papers in a very challenging situation: without your work, for both successful and
unsuccessful papers, we would not had this interesting conference program.
July 2020 Helmut Simonis
Organization
Senior Program Committee
Maria Garcia De La Banda Monash University, Australia
Emmanuel Hebrard LAAS, CNRS, France
Ines Lynce INESC-ID/IST, Universidade de Lisboa, Portugal
Laurent Michel University of Connecticut, USA
Michela Milano DISI, University of Bologna, Italy
Claude-Guy Quimper Laval University, Canada
Pierre Schaus UC Louvain, Belgium
Christine Solnon CITI Inria, INSA Lyon, France
Kostas Stergiou University of Western Macedonia, Greece
Peter J. Stuckey Monash University, Australia
Roland Yap National University of Singapore, Singapore
Program Committee
Ignasi Abío Barcelogic, Spain
Deepak Ajwani University College Dublin, Ireland
Özgür Akgün University of St Andrews, UK
Carlos Ansótegui Universitat de Lleida, Spain
Ekaterina Arafailova Tesco, UK
Behrouz Babaki Polytechnique Montreal, Canada
Sébastien Bardin CEA LIST, France
Roman Barták Charles University, Czech Republic
Chris Beck University of Toronto, Canada
Nicolas Beldiceanu IMT Atlantique (LS2N), France
Gleb Belov Monash University, Australia
Stefano Bistarelli Università di Perugia, Italy
Miquel Bofill Universitat de Girona, Spain
Andrea Borghesi University of Bologna, Italy
Ken Brown University College Cork, Ireland
David Browne Insight Centre for Data Analytics, Ireland
Hadrien Cambazard G-SCOP, Grenoble INP, CNRS, Joseph Fourier
University, France
Roberto Castañeda Lozano The University of Edinburgh, UK
Berthe Y. Choueiry University of Nebraska-Lincoln, USA
Andre Augusto Cire University of Toronto, Canada
Laura Climent University College Cork, Ireland
Martin Cooper IRIT, Université Paul Sabatier, France
Patrick De Causmaecker UC Leuven, Belgium
Allegra De Filippo DISI, University of Bologna, Italy
viii Organization
Simon de Givry INRA MIAT, France
Sophie Demassey CMA, MINES ParisTech, France
Catherine Dubois ENSIIE-Samovar, France
Guillaume Escamocher Insight Centre for Data Analytics, Ireland
Johannes K. Fichte TU Dresden, Germany
Pierre Flener Uppsala University, Sweden
Robert Fourer AMPL Optimization Inc., USA
Maria Andreina Francisco Uppsala University, Sweden
Carmen Gervet Université de Montpellier, France
Arnaud Gotlieb SIMULA Research Laboratory, Norway
Stefano Gualandi Università degli studi di Pavia, Italy
Tias Guns Vrije Universiteit Brussel (VUB), Belgium
Tarik Hadzic United Technologies Research Center, Ireland
John Hooker Carnegie Mellon University, USA
Peter Jeavons University of Oxford, UK
Christopher Jefferson University of St Andrews, UK
Serdar Kadioglu Oracle Corporation, USA
George Katsirelos MIA Paris, INRAE, AgroParisTech, France
Philip Kilby Data61, The Australian National University, Australia
Lars Kotthoff University of Wyoming, USA
Mikael Z. Lagerkvist KTH Royal Institute of Technology, Sweden
Edward Lam Monash University, Australia
Christophe Lecoutre CRIL, University of Artois, Franc
Jimmy Lee The Chinese University of Hong Kong, Hong Kong,
China
Kevin Leo Monash University, Australia
Xavier Lorca IMT Mines Albi, France
Michael Maher Reasoning Research Institute, Australia
Arnaud Malapert Université Côte d’Azur, CNRS, I3S, France
Ciaran McCreesh University of Glasgow, UK
Christopher Mears Redbubble, Australia
Kuldeep S. Meel National University of Singapore, Singapore
Deepak Mehta United Technologies Research Center, Ireland
Ian Miguel University of St Andrews, UK
Peter Nightingale University of York, UK
Barry O’Sullivan University College Cork, Ireland
Cemalettin Ozturk RaytheonTechnologies,UnitedTechnologiesResearch
Center, Ireland
Alexandre Papadopoulos Spotify, France
Anastasia Paparrizou CRIL-CNRS, University of Artois, France
Justin Pearson Uppsala University, Sweden
Marie Pelleau Université Côte d’Azur, CNRS, I3S, France
Laurent Perron Google, France
Gilles Pesant Polytechnique Montréal, Canada
Andreas Podelski University of Freiburg, Germany
Enrico Pontelli New Mexico State University, USA
Organization ix
Cédric Pralet ONERA Toulouse, France
Steve Prestwich Insight Centre for Data Analytics, Ireland
Patrick Prosser University of Glasgow, UK
Charles Prud’Homme TASC (CNRS/Inria), Mines Nantes, France
Luis Quesada Insight Centre for Data Analytics, University College
Cork, Ireland
Jean-Charles Regin University Nice-Sophia Antipolis, I3S, CNRS, France
Andrea Rendl Satalia, UK
Roberto Rossi The University of Edinburgh, UK
Louis-Martin Rousseau Polytechnique Montreal, Canada
Domenico Salvagnin University of Padova, Italy
Scott Sanner University of Toronto, Canada
Thomas Schiex INRAE, France
Meinolf Sellmann GE Research, USA
Paul Shaw IBM, France
Mohamed Siala Insight Centre for Data Analytics, University College
Cork, Ireland
Stefan Szeider TU Wien, Austria
Guido Tack Monash University, Australia
Gilles Trombettoni LIRMM, University of Montpellier, France
Peter van Beek University of Waterloo, Canada
Pascal Van Hentenryck Georgia Institute of Technology, USA
Willem-Jan Van Hoeve Carnegie Mellon University, USA
Petr Vilím IBM, Czech Republic
Mohamed Wahbi United Technologies Research Center, Ireland
Mark Wallace Monash University, Australia
Toby Walsh The University of New South Wales, Australia
Nic Wilson Insight Centre for Data Analytics, University College
Cork, Ireland
Armin Wolf Fraunhofer Institute, Germany
Lebbah Yahia University of Oran 1, Algeria
Makoto Yokoo Kyushu University, Japan
Neil Yorke-Smith Delft University of Technology, The Netherlands
Neng-Fa Zhou CUNY Brooklyn College, Graduate Center, USA
Additional Reviewers
Arbelaez, Alejandro Dimitropoulos, Nikos
Babaki, Behrouz Ganian, Robert
Baldo, Federico Garraffa, Michele
Castiñeiras, Ignacio Gualandi, Stefano
Cerutti, Federico Guimarans, Daniel
Chen, Violet Gupta, Gopal
de Haan, Ronald Hall, Julian
Detassis, Fabrizio Hecher, Markus
