Skip to main content
SpringerLink
Log in
Book cover

Principles and Practice of Constraint Programming

22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Michel Rueher

    1. University of Nice Sophia Antipolis , Sophia Antipolis, France

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

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

Included in the following conference series:

Conference proceedings info: CP 2016.

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 EPUB and 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 (54 papers)

  1. Front Matter

    Pages I-XXVIII
    Download chapter PDF

  2. Technical Track

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

      • Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter  Nightingale
      Pages 3-12

    3. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

      • Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson et al.
      Pages 13-29

    4. An Adaptive Parallel SAT Solver

      • Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
      Pages 30-48

    5. Improved Linearization of Constraint Programming Models

      • Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace
      Pages 49-65

    6. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

      • Jeremias Berg, Matti Järvisalo
      Pages 66-85

    7. Multiobjective Optimization by Decision Diagrams

      • David Bergman, Andre A. Cire
      Pages 86-95

    8. Dependency Schemes in QBF Calculi: Semantics and Soundness

      • Olaf Beyersdorff, Joshua Blinkhorn
      Pages 96-112

    9. The Multirate Resource Constraint

      • Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi, Michela  Milano
      Pages 113-129

    10. The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable

      • Clément Carbonnel
      Pages 130-146

    11. Propagation via Kernelization: The Vertex Cover Constraint

      • Clément Carbonnel, Emmanuel Hebrard
      Pages 147-156

    12. Breaking Symmetries in Graphs: The Nauty Way

      • Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
      Pages 157-172

    13. Extending Broken Triangles and Enhanced Value-Merging

      • Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
      Pages 173-188

    14. A Bounded Path Propagator on Directed Graphs

      • Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
      Pages 189-206

    15. Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets

      • Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin et al.
      Pages 207-223

    16. Interval Constraints with Learning: Application to Air Traffic Control

      • Thibaut Feydy, Peter J. Stuckey
      Pages 224-232

    17. Backdoors to Tractable Valued CSP

      • Robert Ganian, M. S. Ramanujan, Stefan Szeider
      Pages 233-250

    18. Monte-Carlo Tree Search for the Maximum Satisfiability Problem

      • Jack Goffinet, Raghuram Ramanujan
      Pages 251-267

    19. A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks

      • Luke Hunsberger, Roberto Posenato
      Pages 268-286
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 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016.

The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.

Editors and Affiliations

  • University of Nice Sophia Antipolis , Sophia Antipolis, France

    Michel Rueher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation