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.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

Editors and Affiliations

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

    Peter Beek

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access