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

About these proceedings

Keywords

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

  • DOI https://doi.org/10.1007/11757375
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34306-6
  • Online ISBN 978-3-540-34307-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book