Integration of AI and OR Techniques in Constraint Programming

12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

  • Laurent Michel
Conference proceedings CPAIOR 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XXV
  2. Penélope Aguiar Melgarejo, Philippe Laborie, Christine Solnon
    Pages 1-17
  3. Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev
    Pages 18-30
  4. Alejandro Arbelaez, Deepak Mehta, Barry O’Sullivan, Luis Quesada
    Pages 31-46
  5. David Bergman, Arvind U. Raghunathan
    Pages 47-64
  6. Miquel Bofill, Marc Garcia, Josep Suy, Mateu Villaret
    Pages 65-73
  7. Alessio Bonfietti, Michele Lombardi, Michela Milano
    Pages 74-90
  8. Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey
    Pages 91-107
  9. Geoffrey Chu, Peter J. Stuckey
    Pages 108-123
  10. Cyrille Dejemeppe, Pierre Schaus, Yves Deville
    Pages 124-140
  11. Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
    Pages 141-156
  12. Steven Gay, Renaud Hartert, Pierre Schaus
    Pages 157-172
  13. C. Gervet, S. Galichet
    Pages 173-181
  14. Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve
    Pages 215-230
  15. Boon Ping Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus
    Pages 240-254
  16. Fabio Furini, Ivana Ljubić, Markus Sinnl
    Pages 255-270
  17. Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
    Pages 271-287
  18. Benjamin Negrevergne, Tias Guns
    Pages 288-305
  19. Gilles Pesant, Gregory Rix, Louis-Martin Rousseau
    Pages 306-321
  20. M. M. Alam Polash, M. A. Hakim Newton, Abdul Sattar
    Pages 322-331
  21. Paul Saikko, Brandon Malone, Matti Järvisalo
    Pages 347-356
  22. Michael Saint-Guillain, Yves Deville, Christine Solnon
    Pages 357-374
  23. Joseph D. Scott, Pierre Flener, Justin Pearson
    Pages 375-392
  24. Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck
    Pages 393-409
  25. Michael Veksler, Ofer Strichman
    Pages 410-426
  26. Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus
    Pages 427-436
  27. Petr Vilím, Philippe Laborie, Paul Shaw
    Pages 437-453
  28. Back Matter
    Pages 455-456

About these proceedings


This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications.


algorithms artificial intelligence combinatorial optimization comparison of models constraint and logic programming continuous scheduling declarative programming dynamic programming graph algorithms heuristic functions construction local search metaheuristics mixed integer programming modeling methodologies operations research optimization search methodologies sequence mining static analysis uncertainty

Editors and affiliations

  • Laurent Michel
    • 1
  1. 1.University of ConnecticutStorrsUSA

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-18007-6
  • Online ISBN 978-3-319-18008-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site