Integration of AI and OR Techniques in Constraint Programming

14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

  • Domenico Salvagnin
  • Michele Lombardi
Conference proceedings CPAIOR 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XXIII
  2. Technical Papers

    1. Front Matter
      Pages 1-1
    2. Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin
      Pages 3-20
    3. Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud’homme, Andreas Schutt, Peter J. Stuckey
      Pages 21-29
    4. David Bergman, Andre Augusto Cire
      Pages 41-50
    5. Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
      Pages 51-67
    6. Mateo Díaz, Ronan Le Bras, Carla Gomes
      Pages 68-76
    7. Kevin Leo, Guido Tack
      Pages 77-93
    8. Junwen Bai, Johan Bjorck, Yexiang Xue, Santosh K. Suram, John Gregoire, Carla Gomes
      Pages 104-112
    9. Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
      Pages 113-130
    10. Alessandro Zanarini, Jan Poland
      Pages 131-146
    11. Mohamed Wahbi, Diarmuid Grimes, Deepak Mehta, Kenneth N. Brown, Barry O’Sullivan
      Pages 147-166
    12. Emmanuel Hebrard, Mohamed Siala
      Pages 167-175
    13. Vinasetan Ratheil Houndji, Pierre Schaus, Mahouton Norbert Hounkonnou, Laurence Wolsey
      Pages 185-201
    14. Markus Kruber, Marco E. Lübbecke, Axel Parmentier
      Pages 202-210
    15. Jakob Witzig, Timo Berthold, Stefan Heinz
      Pages 211-220
    16. Omid Sanei Bajgiran, Andre A. Cire, Louis-Martin Rousseau
      Pages 221-228
    17. Miao Yu, Viswanath Nagarajan, Siqian Shen
      Pages 244-253
    18. Natashia Boland, Mike Hewitt, Duc Minh Vu, Martin Savelsbergh
      Pages 254-262
    19. Murodzhon Akhmedov, Alexander LeNail, Francesco Bertoni, Ivo Kwee, Ernest Fraenkel, Roberto Montemanni
      Pages 263-276
    20. David Hemmi, Guido Tack, Mark Wallace
      Pages 277-292
    21. Kiriakos Simon Mountakis, Tomas Klos, Cees Witteveen
      Pages 302-311
    22. Kiriakos Simon Mountakis, Tomas Klos, Cees Witteveen
      Pages 328-343
    23. Maël Minot, Samba Ndojh Ndiaye, Christine Solnon
      Pages 359-375
    24. Michael Abseher, Nysret Musliu, Stefan Woltran
      Pages 376-386
    25. Hong Xu, T. K. Satish Kumar, Sven Koenig
      Pages 387-402
    26. Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
      Pages 403-418
  3. Back Matter
    Pages 419-420

About these proceedings


This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017.

The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.


Combinatorial Optimization Mathematical Optimization Constraint and Logic Programming Artificial Intelligence Machine Learning Search Methodologies Operations Research Planning and Scheduling Problem Solving Constraint Theory Linear Programming Dynamic Programming

Editors and affiliations

  1. 1.University of PaduaPaduaItaly
  2. 2.University of BolognaBolognaItaly

Bibliographic information