Skip to main content
SpringerLink
Log in

Principles and Practice of Constraint Programing-CP 2013

19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Christian Schulte

    1. School of Information and Communication Technology, KTH Royal Institute of Technology, Kista, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track-conference proceedings of CP 2013

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

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

Included in the following conference series:

Conference proceedings info: CP 2013.

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 (64 papers)

  1. Front Matter

    Download chapter PDF

  3. Invited Public Lecture

    1. Decide Different!

      • Pascal Van Hentenryck
      Pages 7-7

  4. Invited System Presentation

    1. The Objective-CP Optimization System

      • Pascal Van Hentenryck, Laurent Michel
      Pages 8-29

  5. Best Technical Track Paper

    1. Parallel Discrepancy-Based Search

      • Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper
      Pages 30-46

  6. Best Application Track Paper

    1. Bin Packing with Linear Usage Costs – An Application to Energy Management in Data Centres

      • Hadrien Cambazard, Deepak Mehta, Barry O’Sullivan, Helmut Simonis
      Pages 47-62

  8. Technical Track Papers

    1. A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

      • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
      Pages 80-96

    2. To Encode or to Propagate? The Best Choice for Each Constraint in SAT

      • Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
      Pages 97-106

    3. Automated Symmetry Breaking and Model Selection in Conjure

      • Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff et al.
      Pages 107-116

    4. Improving WPM2 for (Weighted) Partial MaxSAT

      • Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
      Pages 117-132

    5. MinSAT versus MaxSAT for Optimization Problems

      • Josep Argelich, Chu-Min Li, Felip Manyà, Zhu Zhu
      Pages 133-142

    6. Adaptive Parameterized Consistency

      • Amine Balafrej, Christian Bessiere, Remi Coletta, El Houssine Bouyakhf
      Pages 143-158

    7. Global Inverse Consistency for Interactive Constraint Satisfaction

      • Christian Bessiere, Hélène Fargier, Christophe Lecoutre
      Pages 159-174

    8. Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems

      • Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau
      Pages 175-183

    9. On the Reduction of the CSP Dichotomy Conjecture to Digraphs

      • Jakub Bulín, Dejan Delić, Marcel Jackson, Todd Niven
      Pages 184-199

    10. A Scalable Approximate Model Counter

      • Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
      Pages 200-216

    11. Dominance Driven Search

      • Geoffrey Chu, Peter J. Stuckey
      Pages 217-229
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 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.

Editors and Affiliations

  • School of Information and Communication Technology, KTH Royal Institute of Technology, Kista, Sweden

    Christian Schulte

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation