Skip to main content
  • Conference proceedings
  • © 2016

Principles and Practice of Constraint Programming

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

Editors:

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

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

Buy it now

Buying options

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

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

Table of contents (54 papers)

  1. Front Matter

    Pages I-XXVIII
  2. Technical Track

    1. Front Matter

      Pages 1-1
    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. Propagation via Kernelization: The Vertex Cover Constraint

      • Clément Carbonnel, Emmanuel Hebrard
      Pages 147-156
    11. Breaking Symmetries in Graphs: The Nauty Way

      • Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
      Pages 157-172
    12. Extending Broken Triangles and Enhanced Value-Merging

      • Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux
      Pages 173-188
    13. A Bounded Path Propagator on Directed Graphs

      • Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey
      Pages 189-206
    14. 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
    15. Interval Constraints with Learning: Application to Air Traffic Control

      • Thibaut Feydy, Peter J. Stuckey
      Pages 224-232
    16. Backdoors to Tractable Valued CSP

      • Robert Ganian, M. S. Ramanujan, Stefan Szeider
      Pages 233-250
    17. Monte-Carlo Tree Search for the Maximum Satisfiability Problem

      • Jack Goffinet, Raghuram Ramanujan
      Pages 251-267

Other Volumes

  1. Principles and Practice of Constraint Programming

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

Buy it now

Buying options

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