Skip to main content
SpringerLink
Log in
Book cover

Principles and Practice of Constraint Programming - CP 2005

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Peter Beek

    1. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: CP 2005.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (121 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Search and Inference in AI Planning

      • Héctor Geffner
      Pages 1-4

    2. OWL: A Description Logic Based Ontology Language

      • Ian Horrocks
      Pages 5-8

    3. Preference Reasoning

      • Francesca Rossi
      Pages 9-12

    4. 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. Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs

      • Konstantin Artiouchine, Philippe Baptiste
      Pages 62-76

    3. Mind the Gaps: A New Splitting Strategy for Consistency Techniques

      • Heikel Batnini, Claude Michel, Michel Rueher
      Pages 77-91

    4. Graph Invariants as Necessary Conditions for Global Constraints

      • Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
      Pages 92-106

    5. Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation

      • Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano
      Pages 107-121

    6. Sub-optimality Approximations

      • Russell Bent, Irit Katriel, Pascal Van Hentenryck
      Pages 122-136

    7. A Linear-Logic Semantics for Constraint Handling Rules

      • Hariolf Betz, Thom Frühwirth
      Pages 137-151

    8. Distributed Stable Matching Problems

      • Ismel Brito, Pedro Meseguer
      Pages 152-166

    9. Beyond Hypertree Width: Decomposition Methods Without Decompositions

      • Hubie Chen, Víctor Dalmau
      Pages 167-181

    10. Ad-hoc Global Constraints for Life

      • Kenil C. K. Cheng, Roland H. C. Yap
      Pages 182-195

    11. Tractable Clones of Polynomials over Semigroups

      • Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien
      Pages 196-210

    12. CP(Graph): Introducing a Graph Computation Domain in Constraint Programming

      • Gregoire Dooms, Yves Deville, Pierre Dupont
      Pages 211-225

    13. Interval Analysis in Scheduling

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

Other volumes

  1. Principles and Practice of Constraint Programming - CP 2005

Keywords

Editors and Affiliations

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

    Peter Beek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation