Skip to main content
  • Conference proceedings
  • © 2009

Principles and Practice of Constraint Programming - CP 2009

15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Editors:

(view affiliations)

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

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 2009.

Buying options

eBook
USD 129.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-04244-7
  • 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 169.99
Price excludes VAT (USA)

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

Table of contents (64 papers)

  1. Front Matter

  2. Application Track Papers

    1. Generating Optimal Stowage Plans for Container Vessel Bays

      • Alberto Delgado, Rune Møller Jensen, Christian Schulte
      Pages 6-20
    2. Real-Time Tabu Search for Video Tracking Association

      • Ivan Dotu, Pascal Van Hentenryck, Miguel A. Patricio, A. Berlanga, Jose García, Jose M. Molina
      Pages 21-34
    3. Pin Assignment Using Stochastic Local Search Constraint Programming

      • Bella Dubrov, Haggai Eran, Ari Freund, Edward F. Mark, Shyam Ramji, Timothy A. Schell
      Pages 35-49
    4. Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics

      • Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale
      Pages 50-64
    5. Solving Nurse Rostering Problems Using Soft Global Constraints

      • Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni
      Pages 73-87
    6. Online Selection of Quorum Systems for RAMBO Reconfiguration

      • Laurent Michel, Martijn Moraal, Alexander Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck
      Pages 88-103
  3. Research Track Papers

    1. Memoisation for Constraint-Based Local Search

      • Magnus Ågren
      Pages 119-126
    2. On the Structure of Industrial SAT Instances

      • Carlos Ansótegui, María Luisa Bonet, Jordi Levy
      Pages 127-141
    3. A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms

      • Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney
      Pages 142-157
    4. Filtering Numerical CSPs Using Well-Constrained Subsystems

      • Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
      Pages 158-172
    5. Minimising Decision Tree Size as Combinatorial Optimisation

      • Christian Bessiere, Emmanuel Hebrard, Barry O’Sullivan
      Pages 173-187
    6. Hull Consistency under Monotonicity

      • Gilles Chabert, Luc Jaulin
      Pages 188-195
    7. A Constraint on the Number of Distinct Vectors with Application to Localization

      • Gilles Chabert, Luc Jaulin, Xavier Lorca
      Pages 196-210
    8. Approximating Weighted Max-SAT Problems by Compensating for Relaxations

      • Arthur Choi, Trevor Standley, Adnan Darwiche
      Pages 211-225

Other Volumes

  1. Principles and Practice of Constraint Programming - CP 2009

    15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

About this book

This book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, CP 2009, held in Lisbon, Portugal in September 2009.

The 61 revised full papers presented together with  the abstracts of three invited talks were carefully reviewed and selected from 141 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.

Keywords

  • CSP heuristics
  • CSP solving
  • Constraint
  • SAT
  • algorithms
  • complexity
  • constraint logic programming
  • constraint networks
  • constraint satisfaction
  • distributed constraints
  • genetic algorithm
  • programming
  • satisfiability
  • temporal logic

Editors and Affiliations

  • School of Computer Science, University of St. Andrews, Fife, Scotland, UK

    Ian P. Gent

Bibliographic Information

Buying options

eBook
USD 129.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-04244-7
  • 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 169.99
Price excludes VAT (USA)