© 2009

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

6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

  • Willem-Jan van Hoeve
  • John N. Hooker
Conference proceedings CPAIOR 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli
      Pages 11-25
    2. Alessio Bonfietti, Michele Lombardi, Michela Milano, Luca Benini
      Pages 26-40
    3. Hadrien Cambazard, Eoin O’Mahony, Barry O’Sullivan
      Pages 41-55
    4. Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann
      Pages 56-70
    5. Martin Gebser, Benjamin Kaufmann, Torsten Schaub
      Pages 71-86
    6. Alexander Gutfraind, Aric Hagberg, Feng Pan
      Pages 102-116
    7. Stefan Heinz, Martin Sachenbacher
      Pages 117-131
    8. George Katsirelos, Nina Narodytska, Toby Walsh
      Pages 132-147
    9. Michael J. Maher
      Pages 163-177
    10. Julien Menana, Sophie Demassey
      Pages 178-192
    11. Laurent Michel, Pascal Van Hentenryck, Elaine Sonderegger, Alexander Shvartsman, Martijn Moraal
      Pages 193-207
    12. Sylvain Mouret, Ignacio E. Grossmann, Pierre Pestiaux
      Pages 208-222
    13. Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann
      Pages 223-232
    14. Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin
      Pages 248-262

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.

The 20 revised full papers and 10 extended abstracts presented together with 2 invited talks were carefully reviewed and selected from 65 submissions. The papers describe current research in the fields of constraint programming, artificial intelligence, and operations research and present new techniques or new applications in combinatorial optimization, thus exploring ways of solving large-scale, practical optimization problems through integration and hybridization of the fields' different techniques.


AI CSP artificial intelligence automated test generation classification combinatorial optimization combinatorial optimization problems constraint programming cumulative constraints cutting planes embedded systems filtering operations research optimization programming

Editors and affiliations

  • Willem-Jan van Hoeve
    • 1
  • John N. Hooker
    • 2
  1. 1.Tepper School of BusinessCarnegie Mellon UniversityPittsburghUSA
  2. 2.Carnegie Mellon UniversityUSA

Bibliographic information

Industry Sectors
IT & Software