Proceedings

The proceedings are available freely during 4 weeks (starting the 4th September) at Springer.

Accepted papers

• Shaowei Cai and Xindi Zhang. "Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search".
• Jaroslav Bendík and Ivana Cerna. "Enumeration of Minimal Unsatisfiable Subsets".
• Martin Cooper. "Strengthening neighbourhood substitution".
• Edward Lam, Peter Stuckey, Sven Koenig and T. K. Satish Kumar. "Exact Approaches to the Multi-Agent Collective Construction Problem".
• Quentin Cohen-Solal. "Tractable Fragments of Temporal Sequences of Topological Information".
• Buser Say, Jo Devriendt, Jakob Nordström and Peter Stuckey. "Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models".
• Alexey Ignatiev, Martin Cooper, Mohamed Siala, Emmanuel Hebrard and Joao Marques-Silva. "Towards Formal Fairness in Machine Learning".
• Loic Rouquette and Christine Solnon. "abstractXOR: A global constraint dedicated to differential cryptanalysis".
• Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano and Benoit Baudry. "Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks".
• Marko Kleine Büning, Carsten Sinz and Philipp Kern. "Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions".
• Stephan Gocht, Ross McBride, Ciaran McCreesh, Jakob Nordström, Patrick Prosser and James Trimble. "Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems".
• Rahul Gupta, Subhajit Roy and Kuldeep S. Meel. "Phase Transition Behaviour in Knowledge Compilation".
• Paulius Dilkas and Vaishak Belle. "Generating Random Logic Programs Using Constraint Programming".
• Tomáš Dlask and Tomáš Werner. "Bounding Linear Programs by Constraint Propagation".
• Roberto Amadini, Graeme Gange and Peter J. Stuckey. "Dashed strings and the replace(-all) constraint".
• Begum Genc and Barry O'Sullivan. "A Two-Phased Constraint Programming Model for Examination Timetabling at University X".
• Neng-Fa Zhou. "In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem".
• Nicolas Isoart and Jean-Charles Régin. "Parallelization of TSP solving in CP".
• Monika Trimoska, Sorina Ionica and Gilles Dequen. "Parity (XOR) Reasoning for the Index Calculus Attack".
• Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma and Jian Zhang. "Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks".
• Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey and Guido Tack. "Solving Satisfaction Problems using Large-Neighbourhood Search".
• Johannes K. Fichte, Markus Hecher and Stefan Szeider. "A Time Leap Challenge for SAT-Solving".
• Tomáš Dlask and Tomáš Werner. "On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs".
• Yannick Carissan, Chisom-Adaobi Dim, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux and Adrien Varet. "Computing the Local Aromaticity of Benzenoids Thanks to Constraint Programming ".
• Yannick Carissan, Denis Hagebaum-Reignier, Nicolas Prcovic, Cyril Terrioux and Adrien Varet. "Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry".
• Ewan Davidson, Ozgur Akgun, Joan Espasa Arxer and Peter Nightingale. "Effective Encodings of Constraint Programming Models to SMT".
• Gordon Hoi, Sanjay Jain and Frank Stephan. "A Faster Exact Algorithm to Count X3SAT Solutions".
• Jinqiang Yu, Alexey Ignatiev, Peter Stuckey and Pierre Le Bodic. "Computing Optimal Decision Sets with SAT".
• Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey and Guido Tack. "Aggregation and Garbage Collection for Online Optimization".
• Dimosthenis C. Tsouros, Kostas Stergiou and Christian Bessiere. "Omissions in Constraint Acquisition".
• Johannes K. Fichte, Norbert Manthey, Andre Schidler and Julian Stecklina. "Towards Faster Reasoners by using Transparent Huge Pages".
• Gentzel Rebecca, Laurent Michel and Van Hoeve Willem. "HADDOCK: A Language and Architecture for Decision Diagram Compilation".
• Céline Brouard, Simon de Givry and Thomas Schiex. "Pushing data in CP models".
• Jo Devriendt. "Watched Propagation of 0-1 Integer Linear Constraints".
• Behrouz Babaki, Bilel Omrani and Gilles Pesant. "Combinatorial Search in CP-Based Iterated Belief Propagation".
• Johannes K. Fichte, Markus Hecher and Stefan Szeider. "Breaking Symmetries with RootClique and LexTopsort".
• Anastasia Paparrizou and Hugues Wattez. "Effective Perturbations for Constraint Solving".
• Johannes K. Fichte, Markus Hecher and Maximilian Kieler. "Treewidth-Aware Quantifier Elimination and Expansion for QCSP".
• Jeffrey M. Dudek, Vu H. N. Phan and Moshe Y. Vardi. "DPMC: Dynamic Programming for Model Counting with Project-Join Trees".
• Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan and Morten Mossige. "RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots".
• Simon Rohou, Abderahmane Bedouhene, Gilles Chabert, Alexandre Goldsztejn, Luc Jaulin, Bertrand Neveu, Victor Reyes and Gilles Trombettoni. "Towards a Generic Interval Solver for Differential-Algebraic CSP".
• Ian Howell, Berthe Choueiry and Hongfeng Yu. "Visualizations to Summarize Search Behavior".
• Alexandre Mercier-Aubin, Ludwig Dumetz, Jonathan Gaudreault and Claude-Guy Quimper. "The Tolerance Constraint: A Step Towards Stochastic CP Solvers".
• Saeed Nejati, Ludovic Le Frioux and Vijay Ganesh. "A Machine Learning based Splitting Heuristic for Divide-and-Conquer Solvers".
• Kevin Leo, Graeme Gange, Maria Garcia De La Banda and Mark Wallace. "Core-Guided Model Reformulation".
• Graeme Gange and Peter J. Stuckey. "The argmax constraint".
• Tomáš Peitl and Stefan Szeider. "Finding the Hardest Formulas for Resolution".
• Valentin Antuori, Emmanuel Hebrard, Marie-José Huguet, Siham Essodaigui and Alain Nguyen. "Leveraging Reinforcement Learning, Constraint Programming and Local Search: A Case Study in Car Manufacturing".
• Kyle E. C. Booth, Jeffrey Marshall, Bryan O'Gorman, Stuart Hadfield and Eleanor Rieffel. "Quantum-accelerated global constraint filtering".
• Janne I. Kokkala and Jakob Nordstrom. "Using Resolution Proofs to Analyse CDCL Solvers".
• Margaux Nattaf and Arnaud Malapert. "Filtering rules for flow time minimization in a Parallel Machine Scheduling Problem".
• Vaidyanathan P. R. and Stefan Szeider. "MaxSAT-Based Postprocessing for Treedepth".
• Edward Lam, Frits de Nijs, Peter Stuckey, Donald Azuatalam and Ariel Liebman. "Large Neighborhood Search for Temperature Control with Demand Response".
• Lucas Groleaz, Samba-Ndojh Ndiaye and Christine Solnon. "Solving the Group Cumulative Scheduling Problem with CPO and ACO".
• Rémy Garcia, Claude Michel and Michel Rueher. "A branch-and-bound algorithm to rigorously enclose the round-off errors".