Integration of AI and OR Techniques in Constraint Programming

11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings

  • Helmut Simonis

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

Table of contents

  1. Front Matter
  2. Thierry Benoist, Antoine Jeanjean, Vincent Jost
    Pages 1-14
  3. Patrick Prosser
    Pages 15-28
  4. Quoc Trung Bui, Quang Dung Pham, Yves Deville
    Pages 45-54
  5. Sebastian Kosch, J. Christopher Beck
    Pages 55-70
  6. Willy Ugarte Rojas, Patrice Boizumault, Samir Loudni, Bruno Crémilleux, Alban Lepailleur
    Pages 71-87
  7. Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
    Pages 88-103
  8. Bruno Belin, Marc Christie, Charlotte Truchet
    Pages 104-119
  9. Nebras Gharbi, Fred Hemery, Christophe Lecoutre, Olivier Roussel
    Pages 120-135
  10. Maxim Hoskins, Renaud Masson, Gabrielle Gauthier Melançon, Jorge E. Mendoza, Christophe Meyer, Louis-Martin Rousseau
    Pages 136-143
  11. Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey
    Pages 159-175
  12. Joris Kinable, Michael Trick
    Pages 176-192
  13. Andrea Reale, Paolo Bellavista, Antonio Corradi, Michela Milano
    Pages 193-209
  14. Alessio Bonfietti, Michele Lombardi, Michela Milano
    Pages 210-225
  15. Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre
    Pages 235-250
  16. Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
    Pages 251-267
  17. Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh
    Pages 268-283

About these proceedings


This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The 33 papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers focus on constraint programming and global constraints; scheduling modelling; encodings and SAT logistics; MIP; CSP and complexity; parallelism and search; and data mining and machine learning.


artificial intelligence combinatorial optimization comparison of models constraint and logic programming constraint and logic programming dynamic programming dynamic programming graph algorithms heuristic functions construction heuristic functions construction modeling methodologies modeling methodologies operations research optimization search methodologies static analysis static analysis uncertainty

Editors and affiliations

  • Helmut Simonis
    • 1
  1. 1.University College CorkIreland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-07045-2
  • Online ISBN 978-3-319-07046-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book