Advertisement

Principles and Practice of Constraint Programming - CP 2005

11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

  • Peter van Beek
Conference proceedings CP 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Héctor Geffner
      Pages 1-4
    2. Francesca Rossi
      Pages 9-12
    3. Peter J. Stuckey, Maria Garcia de la Banda, Michael Maher, Kim Marriott, John Slaney, Zoltan Somogyi et al.
      Pages 13-16
  3. Best Papers

    1. David Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
      Pages 17-31
    2. Roie Zivan, Amnon Meisels
      Pages 32-46
  4. Full Papers

    1. Magnus Ågren, Pierre Flener, Justin Pearson
      Pages 47-61
    2. Heikel Batnini, Claude Michel, Michel Rueher
      Pages 77-91
    3. Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
      Pages 92-106
    4. Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano
      Pages 107-121
    5. Russell Bent, Irit Katriel, Pascal Van Hentenryck
      Pages 122-136
    6. Hariolf Betz, Thom Frühwirth
      Pages 137-151
    7. Ismel Brito, Pedro Meseguer
      Pages 152-166
    8. Kenil C. K. Cheng, Roland H. C. Yap
      Pages 182-195
    9. Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien
      Pages 196-210
    10. Gregoire Dooms, Yves Deville, Pierre Dupont
      Pages 211-225
    11. Jérôme Fortin, Paweł Zieliński, Didier Dubois, Hélène Fargier
      Pages 226-240
    12. Felix Geller, Michael Veksler
      Pages 241-255
    13. Ian P. Gent, Tom Kelsey, Steve A. Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
      Pages 256-270
    14. Ian P. Gent, Tom Kelsey, Steve Linton, Colva Roney-Dougal
      Pages 271-285
    15. Warwick Harvey, Thorsten Winterer
      Pages 286-300
    16. Laurent Hénocque, Mathias Kleiner, Nicolas Prcovic
      Pages 301-313
    17. Tudor Hulubei, Barry O’Sullivan
      Pages 328-342
    18. Joey Hwang, David G. Mitchell
      Pages 343-357
    19. Irit Katriel, Pascal Van Hentenryck
      Pages 358-372
    20. Ludwig Krippahl, Pedro Barahona
      Pages 373-387
    21. Andrei Krokhin, Benoit Larose
      Pages 388-402
    22. Laurent Michel, Pascal Van Hentenryck
      Pages 430-444
    23. Barry O’Callaghan, Barry O’Sullivan, Eugene C. Freuder
      Pages 445-459
    24. Gilles Pesant, Jean-Charles Régin
      Pages 460-474
    25. Jean-François Puget
      Pages 475-489
    26. Jean-François Puget
      Pages 490-504
    27. Jochen Renz, Gérard Ligozat
      Pages 534-548
    28. Georg Ringwelski, Youssef Hamadi
      Pages 549-562
    29. Emma Rollon, Javier Larrosa
      Pages 563-577
    30. Horst Samulowitz, Fahiem Bacchus
      Pages 578-592
    31. Martí Sánchez, Javier Larrosa, Pedro Meseguer
      Pages 593-606
    32. Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack
      Pages 607-621
    33. Barbara M. Smith
      Pages 637-651
    34. Kostas Stergiou
      Pages 652-666

About these proceedings

Keywords

CSP Erfüllbarkeitsproblem der Aussagenlogik Planning constraint checkers constraint logic programming constraint programming constraint satisfaction constraint solving constraint-based combinatorics decision making learning logic programming programming language semantics

Editors and affiliations

  • Peter van Beek
    • 1
  1. 1.Cheriton School of Computer ScienceUniversity of WaterlooWaterlooCanada

Bibliographic information

Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering