Skip to main content
SpringerLink
Log in

Principles and Practice of Constraint Programming

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Gilles Pesant

    1. École Polytechnique de Montréal, Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: CP 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (49 papers)

  1. Front Matter

    Pages I-XXIV
    Download chapter PDF

  2. Technical Track

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
Back to top

Other volumes

  1. Principles and Practice of Constraint Programming

Keywords

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.

Editors and Affiliations

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

    Gilles Pesant

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation