Integration of AI and OR Techniques in Constraint Programming

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

  • Laurent Michel

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. Benjamin Negrevergne, Tias Guns
    Pages 288-305
  2. Gilles Pesant, Gregory Rix, Louis-Martin Rousseau
    Pages 306-321
  3. M. M. Alam Polash, M. A. Hakim Newton, Abdul Sattar
    Pages 322-331
  4. Paul Saikko, Brandon Malone, Matti Järvisalo
    Pages 347-356
  5. Michael Saint-Guillain, Yves Deville, Christine Solnon
    Pages 357-374
  6. Joseph D. Scott, Pierre Flener, Justin Pearson
    Pages 375-392
  7. Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck
    Pages 393-409
  8. Michael Veksler, Ofer Strichman
    Pages 410-426
  9. Sascha Van Cauwelaert, Michele Lombardi, Pierre Schaus
    Pages 427-436
  10. Petr Vilím, Philippe Laborie, Paul Shaw
    Pages 437-453
  11. 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
  • Print ISBN 978-3-319-18007-6
  • Online ISBN 978-3-319-18008-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book