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

Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

  • J. Christopher Beck
  • Barbara M. Smith
Conference proceedings CPAIOR 2006

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Technical Papers

    1. Ionuţ D. Aron, Daniel H. Leventhal, Meinolf Sellmann
      Pages 16-28
    2. Nicolas Beldiceanu, Irit Katriel, Xavier Lorca
      Pages 29-43
    3. Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano
      Pages 44-58
    4. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
      Pages 59-73
    5. Marco Cadoli, Fabio Patrizi
      Pages 74-88
    6. Carla P. Gomes, Willem-Jan van Hoeve, Lucian Leahu
      Pages 104-118
    7. Claire Kenyon, Meinolf Sellmann
      Pages 126-138
    8. Rasmus V. Rasmussen, Michael A. Trick
      Pages 167-181
    9. Martin Sachenbacher, Brian C. Williams
      Pages 182-196
    10. S. Armagan Tarim, Brahim Hnich, Steven D. Prestwich
      Pages 197-211
    11. Pascal Van Hentenryck, Russell Bent, Yannis Vergados
      Pages 212-227
    12. Pascal Van Hentenryck, Yannis Vergados
      Pages 228-243
    13. Willem-Jan van Hoeve, Jean-Charles Régin
      Pages 244-257
    14. Richard J. Wallace, Nic Wilson
      Pages 258-272
    15. Zhao Xing, Yixin Chen, Weixiong Zhang
      Pages 273-287
    16. Alessandro Zanarini, Michela Milano, Gilles Pesant
      Pages 288-299
  4. Back Matter

About these proceedings


AI CSP Erfüllbarkeitsproblem der Aussagenlogik algorithm algorithms artificial intelligence combinatorial optimization integer programming linear optimization local search optimization programming scheduling seq uncertainty

Editors and affiliations

  • J. Christopher Beck
    • 1
  • Barbara M. Smith
    • 2
  1. 1.Department of Computer ScienceUniversity of TorontoCanada
  2. 2.School of ComputingUniversity of LeedsU.K.

Bibliographic information