Peter J. Stuckey - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings

More information about this subseries at http://www.palgrave.com/gp/series/7407

This Springer imprint is published by the registered company Springer Nature Switzerland AG

The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

This volume contains the papers that were presented at the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2021), held in Vienna, Austria as a hybrid physical/virtual conference in response to the COVID-19 pandemic.

The conference received a total of 87 submissions, including 75 regular paper and 12 extended abstract submissions. The regular papers reflect original unpublished work, whereas the extended abstracts contain either original unpublished work or a summary of work that was published elsewhere. Each regular paper was reviewed by at least three Program Committee members. The reviewing phase was followed by an author response period and a general discussion by the Program Committee. The extended abstracts were reviewed for appropriateness for the conference. At the end of the review period, 30 regular papers were accepted for presentation during the conference and publication in this volume, and 6 abstracts were accepted for short presentation at the conference. Among the 30 regular papers, two were published directly in the journal Constraints via a fast-track review process. The abstracts of these papers can be found in this volume.

In addition to the regular papers and extended abstracts, three invited talks, whose abstracts and/or articles can be found in this volume, were given by Maya Gupta (Didero, USA), Adam Elmachtoub (Columbia University, USA), and Nikolaj Bjrner (Microsoft Research, USA).

The conference program included a Master Class on the topic Explanation and Verification of Machine Learning Models organized by Alexey Ignatiev and Nina Narodytska with invited talks by Alessio Lomuscio (Imperial College London, UK), Gagandeep Singh (University of Illinois Urbana-Champaign, USA), Guy Katz (Hebrew University of Jerusalem, Israel), Guy Van den Broeck (University of California, Los Angeles, USA), Joo Marques-Silva (CRNS, France), and Sameer Singh (University of California, Irvine, USA).

Of the regular papers accepted to the conference a committee comprising of myself, Helmut Simonis, and Louis-Martin Rousseau selected for the Best Paper Award the paper Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations by Jan Kronqvist, Ruth Misener, and Calvin Tsay and selected for the Best Student Paper Award the paper Improving the filtering of Branch-and-Bound MDD Solver by Xavier Gillard, Vianney Copp, Pierre Schaus, and Andr Augusto Cire.

We acknowledge the generous support of our sponsors including, at the time of writing, the Vienna Center for Logic and Algorithms (VCLA), Artificial Intelligence Journal (AIJ), Springer, and TU Wien.