Principles and Practice of Constraint Programming

Main Technical Track.- Automatic Discovery and Exploitation of Promising Subproblems for Tabulation.- Propagating regular membership with dashed strings.- A Constraint-based Encoding for Domain-Independent Temporal Planning.- Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class.- Domain Reduction for Valued Constraints by Generalising Methods from CSP.- Solver-independent Large Neighbourhood Search.- Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers.- An SMT Approach to Fractional Hypertree Width.- On the non-Degeneracy of Unsatisfiability Proof Graphs produced by SAT Solvers.- Sequential Precede Chain for value symmetry elimination.- An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network.- Clause Learning and New Bounds for Graph Coloring.- Portfolio-based algorithm selection for circuit QBFs.- Making Compact-Table Compact.- Approximation Strategies for Incomplete MaxSAT.- A novel graph-based heuristic approach for solving sport scheduling problem.- Augmenting Stream Constraint Programming with Eventuality Conditions.- A Complete Tolerant Algebraic Side-Channel Attack for AES with CP.- Evaluating QBF Solvers: Quantifier Alternations Matter.- The Quantified Valued Constraint Satisfaction Problem.- MLIC: A MaxSAT-Based framework for learning interpretable classification rules.- Objective as a Feature for Robust Search Strategies.- PW-ACBit: Extending Compact-Table to Enforce Pairwise Consistency on Table Constraints.- Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice.- Efficient Methods for Constraint Acquisition.- A Circuit Consellmanntraint for Multiple Tours Problems.- Towards Semi-Automatic Learning-based Model Transformation.- Finding solutions by finding inconsistencies.- The Effect of Structural Measures and Merges on SAT Solver