Integration of AI and OR Techniques in Constraint Programming

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

  • Helmut Simonis
Conference proceedings CPAIOR 2014

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
  18. Michele Lombardi, Pierre Schaus
    Pages 293-300
  19. Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O’Sullivan
    Pages 301-317
  20. Christian Bessiere, Emmanuel Hebrard, Marc-André Ménard, Claude-Guy Quimper, Toby Walsh
    Pages 318-333
  21. David Bergman, Andre A. Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve
    Pages 351-367
  22. Yuri Malitsky, Barry O’Sullivan, Alessandro Previti, Joao Marques-Silva
    Pages 368-376
  23. Thierry Moisan, Claude-Guy Quimper, Jonathan Gaudreault
    Pages 377-393
  24. Matteo Fischetti, Michele Monaci, Domenico Salvagnin
    Pages 394-404
  25. Michael Morin, Claude-Guy Quimper
    Pages 405-421
  26. Sohaib Afifi, Rym Nesrine Guibadj, Aziz Moukrim
    Pages 422-437
  27. Behrouz Babaki, Tias Guns, Siegfried Nijssen
    Pages 438-454
  28. Seyed Hossein Hashemi Doulabi, Louis-Martin Rousseau, Gilles Pesant
    Pages 455-463
  29. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-319-07045-2
  • Online ISBN 978-3-319-07046-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site