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

Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

  • Roman Barták
  • Michela Milano
Conference proceedings CPAIOR 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Thomas Bousonville, Filippo Focacci, Claude Le Pape, Wim Nuijten, Frederic Paulin, Jean-Francois Puget et al.
      Pages 1-15
  3. Technical Papers

    1. Magnus Ågren, Pierre Flener, Justin Pearson
      Pages 19-33
    2. Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, S. Armagan Tarim, Chris Unsworth
      Pages 34-48
    3. Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
      Pages 64-78
    4. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
      Pages 79-93
    5. Wilhelm Cronholm, Farid Ajili, Sofia Panagiotidi
      Pages 125-139
    6. Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau
      Pages 140-154
    7. Iván Dotú, Pascal Van Hentenryck
      Pages 155-167
    8. Khaled Elbassioni, Irit Katriel
      Pages 168-182
    9. Thorsten Gellermann, Meinolf Sellmann, Robert Wright
      Pages 201-216
    10. Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih
      Pages 258-272
    11. Steven Prestwich, Andrea Roli
      Pages 273-287
    12. Jean-Charles Régin
      Pages 288-303
    13. Hossein M. Sheini, Karem A. Sakallah
      Pages 320-335
    14. Barbara M. Smith
      Pages 336-350
    15. Pascal Van Hentenryck, Laurent Michel
      Pages 380-395
  4. Back Matter

About these proceedings


The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31–June1,2005. The conference is intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community. The invited speakers were: Filippo Focacci from ILOGS.A.,France,oneoftheleadingcompaniesinthe?eld;PaulPop,professor in the Embedded Systems Lab in the Computer and Information Science - partment, Link¨ oping University; and Paul Williams, full professor of Operations Research at the London School of Economics. The day before CPAIOR, a Master Class was organized by Gilles Pesant, where leading researchers gave introductory and overview talks in the area of metaheuristics and constraint programming. The Master Class was intended for PhD students, researchers, and practitioners. We are very grateful to Gilles who brought this excellent program together. For conference publicity we warmly thank Willem Jan van Hoeve and Petr Vil´ ?m who did a great job with the high number of submissions received.


AI CSP algorithmics algorithms artificial intelligence combinatorial optimization constraint programming constraint satisfaction problem integer programming mathematical programming operations research optimization programming proving sequencing

Editors and affiliations

  • Roman Barták
    • 1
  • Michela Milano
    • 2
  1. 1.Faculty of Mathematics and PhysicsCharles University in PraguePraha 1Czech Republic
  2. 2.DEISUniversity of BolognaBolognaItaly

Bibliographic information