Unknown Title

Description

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. Front Matter ....Pages I-XXXVI Front Matter ....Pages 1-1 A Novel Approach to String Constraint Solving (Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack)....Pages 3-20 Generating Linear Invariants for a Conjunction of Automata Constraints (Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis)....Pages 21-37 among Implied Constraints for Two Families of Time-Series Constraints (Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis)....Pages 38-54 Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size (Erez Bilgory, Eyal Bin, Avi Ziv)....Pages 55-70 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 Conjunctions of Among Constraints (Víctor Dalmau)....Pages 80-96 Clique Cuts in Weighted Constraint Satisfaction (Simon de Givry, George Katsirelos)....Pages 97-113 Arc Consistency via Linear Programming (Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost)....Pages 114-128 Combining Nogoods in Restart-Based Search (Gael Glorian, Frederic Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure)....Pages 129-138 All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems (Lucy Ham, Marcel Jackson)....Pages 139-156 Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra (Victor Lagerkvist, Magnus Wahlström)....Pages 157-171 Defining and Evaluating Heuristics for the Compilation of Constraint Networks (Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou)....Pages 172-188 A Tolerant Algebraic Side-Channel Attack on AES Using CP (Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel)....Pages 189-205 On Maximum Weight Clique Algorithms, and How They Are Evaluated (Ciaran McCreesh, Patrick Prosser, Kyle Simpson, James Trimble)....Pages 206-225 MDDs: Sampling and Probability Constraints (Guillaume Perez, Jean-Charles Régin)....Pages 226-242 An Incomplete Constraint-Based System for Scheduling with Renewable Resources (Cédric Pralet)....Pages 243-261 Rotation-Based Formulation for Stable Matching (Mohamed Siala, Barry O’Sullivan)....Pages 262-277 Preference Elicitation for DCOPs (Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh)....Pages 278-296 Extending Compact-Table to Basic Smart Tables (Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus)....Pages 297-307 Constraint Programming Applied to the Multi-Skill Project Scheduling Problem (Kenneth D. Young, Thibaut Feydy, Andreas Schutt)....Pages 308-317 Front Matter ....Pages 319-319 An Optimization Model for 3D Pipe Routing with Flexibility Constraints (Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace)....Pages 321-337 Optimal Torpedo Scheduling (Adrian Goldwaser, Andreas Schutt)....Pages 338-353 Constraint Handling in Flight Planning (Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen)....Pages 354-369 NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities (Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro)....Pages 370-386 Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems (Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson)....Pages 387-404 Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment (Linjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin et al.)....Pages 405-413 Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing (Tommaso Urli, Philip Kilby)....Pages 414-430 Integer and Constraint Programming for Batch Annealing Process Planning (Willem-Jan van Hoeve, Sridhar Tayur)....Pages 431-439 Front Matter ....Pages 441-441 Minimum-Width Confidence Bands via Constraint Optimization (Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki)....Pages 443-459 Constraint Programming for Multi-criteria Conceptual Clustering (Maxime Chabert, Christine Solnon)....Pages 460-476 A Declarative Approach to Constrained Community Detection (Mohadeseh Ganji, James Bailey, Peter J. Stuckey)....Pages 477-494 Combining Stochastic Constraint Optimization and Probabilistic Programming (Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen)....Pages 495-511 Learning the Parameters of Global Constraints Using Branch-and-Bound (Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney)....Pages 512-528 CoverSize: A Global Constraint for Frequency-Based Itemset Mining (Pierre Schaus, John O. R. Aoga, Tias Guns)....Pages 529-546 Front Matter ....Pages 547-547 A Column-Generation Algorithm for Evacuation Planning with Elementary Paths (Mohd. Hafiz Hasan, Pascal Van Hentenryck)....Pages 549-564 Job Sequencing Bounds from Decision Diagrams (J. N. Hooker)....Pages 565-578 Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows (Edward Lam, Pascal Van Hentenryck)....Pages 579-595 Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation (Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre)....Pages 596-614 Analyzing Lattice Point Feasibility in UTVPI Constraints (K. Subramani, Piotr Wojciechowski)....Pages 615-629 A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP (Hong Xu, Sven Koenig, T. K. Satish Kumar)....Pages 630-638 Front Matter ....Pages 639-639 Reduced Cost Fixing in MaxSAT (Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko)....Pages 641-651 Weight-Aware Core Extraction in SAT-Based MaxSAT Solving (Jeremias Berg, Matti Järvisalo)....Pages 652-670 Optimizing SAT Encodings for Arithmetic Constraints (Neng-Fa Zhou, Håkan Kjellerstrand)....Pages 671-686 Front Matter ....Pages 687-687 Constraint-Based Synthesis of Datalog Programs (Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith)....Pages 689-706 Search Strategies for Floating Point Constraint Systems (Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel)....Pages 707-722 Back Matter ....Pages 723-724