Principles And Practice Of Constraint Programming: 26th International Conference, Cp 2020, Louvain-la-neuve, Belgium, September 7–11, 2020, Proceedings (lecture Notes In Computer Science (12333))

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 55 full papers presented in this volume were carefully reviewed and selected from 122 submissions. They deal with 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 were organized according to the following topics/tracks: technical track; application track; and CP and data science and machine learning. Front Matter ....Pages i-xv Front Matter ....Pages 1-1 Dashed Strings and the Replace(-all) Constraint (Roberto Amadini, Graeme Gange, Peter J. Stuckey)....Pages 3-20 Combinatorial Search in CP-Based Iterated Belief Propagation (Behrouz Babaki, Bilel Omrani, Gilles Pesant)....Pages 21-36 Replication-Guided Enumeration of Minimal Unsatisfiable Subsets (Jaroslav Bendík, Ivana Černá)....Pages 37-54 Solving Satisfaction Problems Using Large-Neighbourhood Search (Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack)....Pages 55-71 Quantum-Accelerated Global Constraint Filtering (Kyle E. C. Booth, Bryan O’Gorman, Jeffrey Marshall, Stuart Hadfield, Eleanor Rieffel)....Pages 72-89 Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search (Shaowei Cai, Xindi Zhang)....Pages 90-106 Tractable Fragments of Temporal Sequences of Topological Information (Quentin Cohen-Solal)....Pages 107-125 Strengthening Neighbourhood Substitution (Martin C. Cooper)....Pages 126-142 Effective Encodings of Constraint Programming Models to SMT (Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale)....Pages 143-159 Watched Propagation of \(0\)-\(1\) Integer Linear Constraints (Jo Devriendt)....Pages 160-176 Bounding Linear Programs by Constraint Propagation: Application to Max-SAT (Tomáš Dlask, Tomáš Werner)....Pages 177-193 On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs (Tomáš Dlask, Tomáš Werner)....Pages 194-210 DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees (Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi)....Pages 211-230 Aggregation and Garbage Collection for Online Optimization (Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack)....Pages 231-247 Treewidth-Aware Quantifier Elimination and Expansion for QCSP (Johannes K. Fichte, Markus Hecher, Maximilian F. I. Kieler)....Pages 248-266 A Time Leap Challenge for SAT-Solving (Johannes K. Fichte, Markus Hecher, Stefan Szeider)....Pages 267-285 Breaking Symmetries with RootClique and LexTopSort (Johannes K. Fichte, Markus Hecher, Stefan Szeider)....Pages 286-303 Towards Faster Reasoners by Using Transparent Huge Pages (Johannes K. Fichte, Norbert Manthey, Julian Stecklina, André Schidler)....Pages 304-322 The Argmax Constraint (Graeme Gange, Peter J. Stuckey)....Pages 323-337 Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems (Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser, James Trimble)....Pages 338-357 Phase Transition Behavior in Knowledge Compilation (Rahul Gupta, Subhajit Roy, Kuldeep S. Meel)....Pages 358-374 A Faster Exact Algorithm to Count X3SAT Solutions (Gordon Hoi, Sanjay Jain, Frank Stephan)....Pages 375-391 Visualizations to Summarize Search Behavior (Ian S. Howell, Berthe Y. Choueiry, Hongfeng Yu)....Pages 392-409 Parallelization of TSP Solving in CP (Nicolas Isoart, Jean-Charles Régin)....Pages 410-426 Using Resolution Proofs to Analyse CDCL Solvers (Janne I. Kokkala, Jakob Nordström)....Pages 427-444 Core-Guided Model Reformulation (Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace)....Pages 445-461 Filtering Rules for Flow Time Minimization in a Parallel Machine Scheduling Problem (Margaux Nattaf, Arnaud Malapert)....Pages 462-477 MaxSAT-Based Postprocessing for Treedepth (Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider)....Pages 478-495 Perturbing Branching Heuristics in Constraint Solving (Anastasia Paparrizou, Hugues Wattez)....Pages 496-513 Finding the Hardest Formulas for Resolution (Tomáš Peitl, Stefan Szeider)....Pages 514-530 HADDOCK: A Language and Architecture for Decision Diagram Compilation (Rebecca Gentzel, Laurent Michel, W.-J. van Hoeve)....Pages 531-547 Towards a Generic Interval Solver for Differential-Algebraic CSP (Simon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin, Bertrand Neveu et al.)....Pages 548-565 abstractXOR: A global constraint dedicated to differential cryptanalysis (Loïc Rouquette, Christine Solnon)....Pages 566-584 In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem (Neng-Fa Zhou)....Pages 585-602 Large Neighborhood Search for Temperature Control with Demand Response (Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman)....Pages 603-619 Solving the Group Cumulative Scheduling Problem with CPO and ACO (Lucas Groleaz, Samba N. Ndiaye, Christine Solnon)....Pages 620-636 A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors (Rémy Garcia, Claude Michel, Michel Rueher)....Pages 637-653 Front Matter ....Pages 655-655 Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing (Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui, Alain Nguyen)....Pages 657-672 Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming (Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet)....Pages 673-689 Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry (Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux, Adrien Varet)....Pages 690-706 RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots (Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige)....Pages 707-723 A Two-Phase Constraint Programming Model for Examination Timetabling at University College Cork (Begum Genc, Barry O’Sullivan)....Pages 724-742 Exact Approaches to the Multi-agent Collective Construction Problem (Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar)....Pages 743-758 The Confidence Constraint: A Step Towards Stochastic CP Solvers (Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault, Claude-Guy Quimper)....Pages 759-773 Parity (XOR) Reasoning for the Index Calculus Attack (Monika Trimoska, Sorina Ionica, Gilles Dequen)....Pages 774-790 Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks (Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry)....Pages 791-808 Front Matter ....Pages 809-809 Pushing Data into CP Models Using Graphical Model Learning and Solving (Céline Brouard, Simon de Givry, Thomas Schiex)....Pages 811-827 Generating Random Logic Programs Using Constraint Programming (Paulius Dilkas, Vaishak Belle)....Pages 828-845 Towards Formal Fairness in Machine Learning (Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, Joao Marques-Silva)....Pages 846-867 Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions (Marko Kleine Büning, Philipp Kern, Carsten Sinz)....Pages 868-884 Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks (Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang)....Pages 885-898 A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers (Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh)....Pages 899-916 Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models (Buser Say, Jo Devriendt, Jakob Nordström, Peter J. Stuckey)....Pages 917-934 Omissions in Constraint Acquisition (Dimosthenis C. Tsouros, Kostas Stergiou, Christian Bessiere)....Pages 935-951 Computing Optimal Decision Sets with SAT (Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic)....Pages 952-970 Back Matter ....Pages 971-972