Principles and Practice of Constraint Programming - CP 2009

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

  • Ian P. Gent
Conference proceedings CP 2009
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5732)

Table of contents

  1. Front Matter
    PDF

  2. Invited Talks

    1. Constraint-Based Schedulers, Do They Really Work?
      Philippe Baptiste
      Pages 1-1
      PDF
    2. Challenges for Constraint Reasoning and Optimization in Computational Sustainability
      Carla P. Gomes
      Pages 2-4
    3. Observations on Symmetry Breaking
      Barbara M. Smith
      Pages 5-5
      PDF

  3. 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. Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion
      Andrew Loewenstern
      Pages 65-72
    6. Solving Nurse Rostering Problems Using Soft Global Constraints
      Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni
      Pages 73-87
    7. Online Selection of Quorum Systems for RAMBO Reconfiguration
      Laurent Michel, Martijn Moraal, Alexander Shvartsman, Elaine Sonderegger, Pascal Van Hentenryck
      Pages 88-103
    8. A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem
      Helmut Simonis
      Pages 104-118

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

About these proceedings

Introduction

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

  • Ian P. Gent
    • 1
  1. 1.School of Computer ScienceUniversity of St. AndrewsFifeScotland, UK

Bibliographic information

  • DOI 10.1007/978-3-642-04244-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04243-0
  • Online ISBN 978-3-642-04244-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349