Skip to main content
SpringerLink
Log in

Principles and Practice of Constraint Programming

20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Barry O’Sullivan

    1. Insight Centre for Data Analytics, School of Computer Science and IT, University College Cork, Cork, Ireland

    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 8656)

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

Included in the following conference series:

Conference proceedings info: CP 2014.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (71 papers)

  1. Front Matter

    Download chapter PDF

  3. Best Technical Track Paper

    1. On Broken Triangles

      • Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
      Pages 9-24

  4. Best Application Track Paper

    1. Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System

      • Morten Mossige, Arnaud Gotlieb, Hein Meling
      Pages 25-41

  5. Best Student Paper

    1. On Compiling CNF into Decision-DNNF

      • Umut Oztok, Adnan Darwiche
      Pages 42-57

  6. Runner-Up Best Student Paper

    1. A Complete Solver for Constraint Games

      • Thi-Van-Anh Nguyen, Arnaud Lallouet
      Pages 58-74

  7. Technical Track

    1. Encoding Linear Constraints into SAT

      • Ignasi Abío, Peter J. Stuckey
      Pages 75-91

    2. Efficient Application of Max-SAT Resolution on Inconsistent Subsets

      • André Abramé, Djamal Habet
      Pages 92-107

    3. Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers

      • Roberto Amadini, Peter J. Stuckey
      Pages 108-124

    4. Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem

      • Gilles Audemard, Christophe Lecoutre, Mouny Samy-Modeliar, Gilles Goncalves, Daniel Porumbel
      Pages 125-141

    5. Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators

      • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
      Pages 142-157

    6. The Propagation Depth of Local Consistency

      • Christoph Berkholz
      Pages 158-173

    7. The Balance Constraint Family

      • Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper et al.
      Pages 174-189

    8. Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector

      • Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon
      Pages 190-206

    9. Solving Intensional Weighted CSPs by Incremental Optimization with BDDs

      • Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret
      Pages 207-223

    10. On Backdoors to Tractable Constraint Languages

      • Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
      Pages 224-239

    11. Nested Constraint Programs

      • Geoffrey Chu, Peter J. Stuckey
      Pages 240-255
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 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014.
The 65 revised papers presented together with 4 invited talks were carefully selected from 108 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, and agreement technologies.

Editors and Affiliations

  • Insight Centre for Data Analytics, School of Computer Science and IT, University College Cork, Cork, Ireland

    Barry O’Sullivan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation