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. Full Papers

    1. Weak Composition for Qualitative Spatial and Temporal Reasoning

      • Jochen Renz, Gérard Ligozat
      Pages 534-548
    2. Boosting Distributed Constraint Satisfaction

      • Georg Ringwelski, Youssef Hamadi
      Pages 549-562
    3. Depth-First Mini-Bucket Elimination

      • Emma Rollon, Javier Larrosa
      Pages 563-577
    4. Using SAT in QBF

      • Horst Samulowitz, Fahiem Bacchus
      Pages 578-592
    5. Tree Decomposition with Function Filtering

      • Martí Sánchez, Javier Larrosa, Pedro Meseguer
      Pages 593-606
    6. On Solving Soft Temporal Constraints Using SAT Techniques

      • Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack
      Pages 607-621
    7. Caching Search States in Permutation Problems

      • Barbara M. Smith
      Pages 637-651
    8. Repair-Based Methods for Quantified CSPs

      • Kostas Stergiou
      Pages 652-666
    9. Solving Simple Planning Problems with More Inference and No Search

      • Vincent Vidal, Héctor Geffner
      Pages 682-696
    10. Factor Analytic Studies of CSP Heuristics

      • Richard J. Wallace
      Pages 712-726
  2. Short Papers

    1. Lookahead Saturation with Restriction for SAT

      • Anbulagan, John Slaney
      Pages 727-731
    2. Evolving Variable-Ordering Heuristics for Constrained Optimisation

      • Stuart Bain, John Thornton, Abdul Sattar
      Pages 732-736
    3. Multi-point Constructive Search

      • J. Christopher Beck
      Pages 737-741
    4. Bounds of Graph Characteristics

      • Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
      Pages 742-746
    5. Acquiring Parameters of Implied Global Constraints

      • Christian Bessiere, Rémi Coletta, Thierry Petit
      Pages 747-751
    6. Integrating Benders Decomposition Within Constraint Programming

      • Hadrien Cambazard, Narendra Jussien
      Pages 752-756
    7. Using Boolean Constraint Propagation for Sub-clauses Deduction

      • S. Darras, G. Dequen, L. Devendeville, B. Mazure, R. Ostrowski, L. Saïs
      Pages 757-761

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)