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 20^th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33^rd 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.

Keywords

Editors and Affiliations

University of Toronto, Toronto, Canada

J. Christopher Beck

Bibliographic Information

Book Title: Principles and Practice of Constraint Programming
Book Subtitle: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Editors: J. Christopher Beck
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-66158-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-66157-5Published: 23 August 2017
eBook ISBN: 978-3-319-66158-2Published: 22 August 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXXVI, 724
Number of Illustrations: 161 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Mathematics of Computing, Artificial Intelligence, Algorithm Analysis and Problem Complexity
Industry Sectors: IT & Software, Telecommunications

Publish with us

Policies and ethics

Principles and Practice of Constraint Programming

Editors:

Sections

Buy it now

Other ways to access

Table of contents (45 papers)

Front Matter

Technical Track

Front Matter

A Novel Approach to String Constraint Solving

Generating Linear Invariants for a Conjunction of Automata Constraints

among Implied Constraints for Two Families of Time-Series Constraints

Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size

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

Conjunctions of Among Constraints

Clique Cuts in Weighted Constraint Satisfaction

Arc Consistency via Linear Programming

Combining Nogoods in Restart-Based Search

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

Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra

Defining and Evaluating Heuristics for the Compilation of Constraint Networks

A Tolerant Algebraic Side-Channel Attack on AES Using CP

On Maximum Weight Clique Algorithms, and How They Are Evaluated

MDDs: Sampling and Probability Constraints

An Incomplete Constraint-Based System for Scheduling with Renewable Resources

Rotation-Based Formulation for Stable Matching

Preference Elicitation for DCOPs

Other Volumes