Skip to main content
  • Conference proceedings
  • © 2005

Principles and Practice of Constraint Programming - CP 2005

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

Editors:

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): CP: International Conference on Principles and Practice of Constraint Programming

Conference proceedings info: CP 2005.

Buying options

eBook USD 149.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32050-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 189.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (121 papers)

  1. Front Matter

  2. Invited Papers

    1. Search and Inference in AI Planning

      • Héctor Geffner
      Pages 1-4
    2. Preference Reasoning

      • Francesca Rossi
      Pages 9-12
    3. The G12 Project: Mapping Solver Independent Models to Efficient Solutions

      • 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. Symmetry Definitions for Constraint Satisfaction Problems

      • David Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
      Pages 17-31
    2. Dynamic Ordering for Asynchronous Backtracking on DisCSPs

      • Roie Zivan, Amnon Meisels
      Pages 32-46
  4. Full Papers

    1. Incremental Algorithms for Local Search from Existential Second-Order Logic

      • Magnus Ågren, Pierre Flener, Justin Pearson
      Pages 47-61
    2. Mind the Gaps: A New Splitting Strategy for Consistency Techniques

      • Heikel Batnini, Claude Michel, Michel Rueher
      Pages 77-91
    3. Graph Invariants as Necessary Conditions for Global Constraints

      • Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
      Pages 92-106
    4. Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation

      • Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano
      Pages 107-121
    5. Sub-optimality Approximations

      • Russell Bent, Irit Katriel, Pascal Van Hentenryck
      Pages 122-136
    6. A Linear-Logic Semantics for Constraint Handling Rules

      • Hariolf Betz, Thom Frühwirth
      Pages 137-151
    7. Distributed Stable Matching Problems

      • Ismel Brito, Pedro Meseguer
      Pages 152-166
    8. Ad-hoc Global Constraints for Life

      • Kenil C. K. Cheng, Roland H. C. Yap
      Pages 182-195
    9. Tractable Clones of Polynomials over Semigroups

      • Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien
      Pages 196-210
    10. CP(Graph): Introducing a Graph Computation Domain in Constraint Programming

      • Gregoire Dooms, Yves Deville, Pierre Dupont
      Pages 211-225
    11. Interval Analysis in Scheduling

      • Jérôme Fortin, Paweł Zieliński, Didier Dubois, Hélène Fargier
      Pages 226-240

Other Volumes

  1. Principles and Practice of Constraint Programming - CP 2005

    11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. 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

  • Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada

    Peter Beek

Bibliographic Information

Buying options

eBook USD 149.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32050-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 189.00
Price excludes VAT (USA)