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. Assumption-Based Pruning in Conditional CSP

      • Felix Geller, Michael Veksler
      Pages 241-255
    2. Conditional Symmetry Breaking

      • Ian P. Gent, Tom Kelsey, Steve A. Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
      Pages 256-270
    3. Symmetry and Consistency

      • Ian P. Gent, Tom Kelsey, Steve Linton, Colva Roney-Dougal
      Pages 271-285
    4. Solving the MOLR and Social Golfers Problems

      • Warwick Harvey, Thorsten Winterer
      Pages 286-300
    5. Advances in Polytime Isomorph Elimination for Configuration

      • Laurent Hénocque, Mathias Kleiner, Nicolas Prcovic
      Pages 301-313
    6. Search Heuristics and Heavy-Tailed Behaviour

      • Tudor Hulubei, Barry O’Sullivan
      Pages 328-342
    7. 2 -Way vs.d -Way Branching for CSP

      • Joey Hwang, David G. Mitchell
      Pages 343-357
    8. Maintaining Longest Paths in Cyclic Graphs

      • Irit Katriel, Pascal Van Hentenryck
      Pages 358-372
    9. Applying Constraint Programming to Rigid Body Protein Docking

      • Ludwig Krippahl, Pedro Barahona
      Pages 373-387
    10. Maximum Constraint Satisfaction on Diamonds

      • Andrei Krokhin, Benoit Larose
      Pages 388-402
    11. Parallel Local Search in Comet

      • Laurent Michel, Pascal Van Hentenryck
      Pages 430-444
    12. Generating Corrective Explanations for Interactive Constraint Satisfaction

      • Barry O’Callaghan, Barry O’Sullivan, Eugene C. Freuder
      Pages 445-459
    13. SPREAD: A Balancing Constraint Based on Statistics

      • Gilles Pesant, Jean-Charles Régin
      Pages 460-474
    14. Automatic Detection of Variable and Value Symmetries

      • Jean-François Puget
      Pages 475-489
    15. Breaking All Value Symmetries in Surjection Problems

      • Jean-François Puget
      Pages 490-504

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)