Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings PDF
Preview Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings
Helmut 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
The list of books you might like
