© 2021

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings

  • Peter J. Stuckey
Conference proceedings CPAIOR 2021

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12735)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12735)

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Nikolaj Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati
    Pages 1-25
  3. Ronald van Driel, Emir Demirović, Neil Yorke-Smith
    Pages 62-71
  4. Richard Hoshino, Irene Fabris
    Pages 89-105
  5. Keliang Wang, Leonardo Lozano, David Bergman, Carlos Cardonha
    Pages 106-114
  6. Christian Klanke, Dominik R. Bleidorn, Vassilios Yfantis, Sebastian Engell
    Pages 133-148
  7. Roel Lambers, Laurent Rothuizen, Frits C. R. Spieksma
    Pages 149-162
  8. Ikram Nekkache, Said Jabbour, Lakhdar Sais, Nadjet Kamel
    Pages 163-178
  9. Marvin Stanczak, Cédric Pralet, Vincent Vidal, Vincent Baudoui
    Pages 179-195
  10. Enrico Formenti, Jean-Charles Régin, Sara Riva
    Pages 196-213
  11. Claire Hanen, Alix Munier Kordon, Theo Pedersen
    Pages 214-230
  12. Xavier Gillard, Vianney Coppé, Pierre Schaus, André Augusto Cire
    Pages 231-247
  13. Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi
    Pages 248-265
  14. Mattia Silvestri, Michele Lombardi, Michela Milano
    Pages 266-282
  15. Adrian Bracher, Nikolaus Frohner, Günther R. Raidl
    Pages 283-298
  16. Jan Kronqvist, Ruth Misener, Calvin Tsay
    Pages 299-314

About these proceedings


This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. 
The 30 regular papers presented were carefully reviewed and selected from a total of 75 submissions. The conference program included a Master Class on the topic "Explanation and Verification of Machine Learning Models".


artificial intelligence communication systems computer hardware computer networks computer programming computer systems constraint programming correlation analysis graph theory machine learning network protocols optimization optimization problems routing algorithms signal processing telecommunication networks telecommunication systems theoretical computer science

Editors and affiliations

  • Peter J. Stuckey
    • 1
  1. 1.Monash UniversityMelbourneAustralia

Bibliographic information