Skip to main content
SpringerLink
Log in

Principles and Practice of Constraint Programming

23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. J. Christopher Beck

    1. University of Toronto, Toronto, 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 10416)

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

Included in the following conference series:

Conference proceedings info: CP 2017.

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

  1. Front Matter

    Pages I-XXXVI
    Download chapter PDF

  2. Technical Track

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Novel Approach to String Constraint Solving

      • Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack
      Pages 3-20

    3. Generating Linear Invariants for a Conjunction of Automata Constraints

      • Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
      Pages 21-37

    4. among Implied Constraints for Two Families of Time-Series Constraints

      • Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
      Pages 38-54

    5. Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size

      • Erez Bilgory, Eyal Bin, Avi Ziv
      Pages 55-70

    6. An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources

      • Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
      Pages 71-79

    7. Conjunctions of Among Constraints

      • Víctor Dalmau
      Pages 80-96

    8. Clique Cuts in Weighted Constraint Satisfaction

      • Simon de Givry, George Katsirelos
      Pages 97-113

    9. Arc Consistency via Linear Programming

      • Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost
      Pages 114-128

    10. Combining Nogoods in Restart-Based Search

      • Gael Glorian, Frederic Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
      Pages 129-138

    11. All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems

      • Lucy Ham, Marcel Jackson
      Pages 139-156

    12. Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra

      • Victor Lagerkvist, Magnus Wahlström
      Pages 157-171

    13. Defining and Evaluating Heuristics for the Compilation of Constraint Networks

      • Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou
      Pages 172-188

    14. A Tolerant Algebraic Side-Channel Attack on AES Using CP

      • Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel
      Pages 189-205

    15. On Maximum Weight Clique Algorithms, and How They Are Evaluated

      • Ciaran McCreesh, Patrick Prosser, Kyle Simpson, James Trimble
      Pages 206-225

    16. MDDs: Sampling and Probability Constraints

      • Guillaume Perez, Jean-Charles Régin
      Pages 226-242

    17. An Incomplete Constraint-Based System for Scheduling with Renewable Resources

      • Cédric Pralet
      Pages 243-261

    18. Rotation-Based Formulation for Stable Matching

      • Mohamed Siala, Barry O’Sullivan
      Pages 262-277

    19. Preference Elicitation for DCOPs

      • Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh
      Pages 278-296
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 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming.
The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al

location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.

Editors and Affiliations

  • University of Toronto, Toronto, Canada

    J. Christopher Beck

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation