Principles and Practice of Constraint Programming - CP 2005

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

  • Peter van Beek

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

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

  • DOI https://doi.org/10.1007/11564751
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29238-8
  • Online ISBN 978-3-540-32050-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book