Skip to main content
  • Conference proceedings
  • © 2015

Principles and Practice of Constraint Programming

21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Editors:

(view affiliations)

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

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

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-23219-5
  • 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 109.99
Price excludes VAT (USA)

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

Table of contents (49 papers)

  1. Front Matter

    Pages I-XXIV
  2. Technical Track

    1. Front Matter

      Pages 1-1
    2. Encoding Linear Constraints with Implication Chains to CNF

      • Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
      Pages 3-11
    3. Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP

      • David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki
      Pages 12-29
    4. Improved Constraint Propagation via Lagrangian Decomposition

      • David Bergman, Andre A. Cire, Willem-Jan van Hoeve
      Pages 30-38
    5. Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization

      • Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
      Pages 39-57
    6. Broken Triangles Revisited

      • Martin C. Cooper, Aymeric Duchein, Guillaume Escamocher
      Pages 58-73
    7. A Microstructure-Based Family of Tractable Classes for CSPs

      • Martin C. Cooper, Philippe Jégou, Cyril Terrioux
      Pages 74-88
    8. The Unary Resource with Transition Times

      • Cyrille Dejemeppe, Sascha Van Cauwelaert, Pierre Schaus
      Pages 89-104
    9. A Global Constraint for a Tractable Class of Temporal Optimization Problems

      • Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud’homme
      Pages 105-120
    10. Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming

      • Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son
      Pages 121-139
    11. Conflict Ordering Search for Scheduling Problems

      • Steven Gay, Renaud Hartert, Christophe Lecoutre, Pierre Schaus
      Pages 140-148
    12. Simple and Scalable Time-Table Filtering for the Cumulative Constraint

      • Steven Gay, Renaud Hartert, Pierre Schaus
      Pages 149-157
    13. General Bounding Mechanism for Constraint Programs

      • Minh Hoàng Hà, Claude-Guy Quimper, Louis-Martin Rousseau
      Pages 158-172
    14. Smallest MUS Extraction with Minimal Hitting Set Dualization

      • Alexey Ignatiev, Alessandro Previti, Mark Liffiton, Joao Marques-Silva
      Pages 173-182
    15. Upper and Lower Bounds on the Time Complexity of Infinite-Domain CSPs

      • Peter Jonsson, Victor Lagerkvist
      Pages 183-199
    16. Generalized Totalizer Encoding for Pseudo-Boolean Constraints

      • Saurabh Joshi, Ruben Martins, Vasco Manquinho
      Pages 200-209
    17. Smaller Selection Networks for Cardinality Constraints Encoding

      • Michał Karpiński, Marek Piotrów
      Pages 210-225
    18. PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining

      • Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois
      Pages 226-243
    19. On Tree-Preserving Constraints

      • Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
      Pages 244-261

Other Volumes

  1. Principles and Practice of Constraint Programming

    21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

About this book

This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015).
The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.

Keywords

  • algorithms
  • artificial intelligence
  • constraint programming
  • distributed constraint satisfaction problem
  • logic
  • best-first search
  • cost function networks
  • cumulative constraint
  • large-scale
  • markov constraints
  • MaxSAT
  • minimal network
  • network flow problem
  • operations research
  • regular constraint
  • SAT
  • scheduling
  • solvers
  • traffic engineering
  • algorithm analysis and problem complexity

Editors and Affiliations

  • École Polytechnique de Montréal, Montréal, Canada

    Gilles Pesant

Bibliographic Information

Buying options

eBook
USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-23219-5
  • 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 109.99
Price excludes VAT (USA)