Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

  • Carla Gomes
  • Meinolf Sellmann
Conference proceedings CPAIOR 2013

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

Table of contents

  1. Front Matter
  2. Tobias Achterberg, Ashish Sabharwal, Horst Samulowitz
    Pages 1-11
  3. Timo Berthold, Domenico Salvagnin
    Pages 28-43
  4. Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber
    Pages 44-60
  5. Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini
    Pages 61-76
  6. Marijn J. H. Heule, Matti Järvisalo, Armin Biere
    Pages 77-93
  7. John N. Hooker
    Pages 94-110
  8. Elena Kelareva, Kevin Tierney, Philip Kilby
    Pages 111-127
  9. Brian Kell, Willem-Jan van Hoeve
    Pages 128-143
  10. Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu
    Pages 144-159
  11. Mark H. Liffiton, Ammar Malik
    Pages 160-175
  12. Yuri Malitsky, Deepak Mehta, Barry O’Sullivan, Helmut Simonis
    Pages 176-192
  13. Axel Nyberg, Tapio Westerlund, Andreas Lundell
    Pages 193-203
  14. Hermann Schichl, Arnold Neumaier, Mihály Csaba Markót, Ferenc Domes
    Pages 216-233
  15. Andreas Schutt, Thibaut Feydy, Peter J. Stuckey
    Pages 234-250
  16. Marla R. Slusky, Willem-Jan van Hoeve
    Pages 251-267
  17. Peter J. Stuckey, Guido Tack
    Pages 268-283
  18. Peter Y. Zhang, David A. Romero, J. Christopher Beck, Cristina H. Amon
    Pages 284-299
  19. Eduardo Álvarez-Miranda, Ivana Ljubić, Petra Mutzel
    Pages 300-315
  20. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
    Pages 316-324
  21. Duc-Cuong Dang, Racha El-Hajj, Aziz Moukrim
    Pages 332-339
  22. Gerald Gamrath
    Pages 347-354
  23. Nina Narodytska, Toby Walsh
    Pages 369-377
  24. Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant
    Pages 378-385
  25. Udara Weerakoon, Vicki Allan
    Pages 386-393
  26. Back Matter

About these proceedings


This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR).


artificial intelligence constraint satisfaction problem dynamic programming operations research optimization

Editors and affiliations

  • Carla Gomes
    • 1
  • Meinolf Sellmann
    • 2
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA
  2. 2.Thomas J. Watson Research CenterYorktown HeightsUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38170-6
  • Online ISBN 978-3-642-38171-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software