CP 2024 Accepted Papers

  • The Complexity of Symmetry Breaking Beyond Lex-Leader [slides]
    Markus Anders, Sofia Brenner, and Gaurav Rattan
  • Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability [slides]
    Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, and Dieter Vandesande
  • ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization [slides]
    Zhihan Chen, Peng Lin, Hao Hu, and Shaowei Cai
  • Deep Cooperation of Local Search and Unit Propagation Techniques [slides]
    Xiamin Chen, Zhendong Lei, and Pinyan Lu
  • Minimizing Working-Group Conflicts in Conference Session Scheduling through Maximum Satisfiability
    Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, and Laure Brisoux-Devendeville
  • Cumulative Scheduling with Calendars and Overtime [slides]
    Samuel Cloutier and Claude-Guy Quimper
  • Slide&Drill, a new Approach for Multi-Objective Combinatorial Optimization [slides]
    João Cortes, Inês Lynce, and Vasco Manquinho
  • On the complexity of integer programming with fixed-coefficient scaling [slides]
    Jorke M. de Vlas
  • Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming [slides]
    Augustin Delecluse and Pierre Schaus
  • Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms [slides]
    Emir Demirović, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, and Konstantin Sidorov
  • Anytime Weighted Model Counting with Approximation Guarantees For Probabilistic Inference [slides]
    Alexandre Dubray, Pierre Schaus, and Siegfried Nijssen
  • A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers [slides]
    Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, and Emir Demirović
  • Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints [slides]
    Cunjing Ge and Armin Biere
  • Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning [slides]
    Adam Francis Green, J. Christopher Beck, and Amanda Coles
  • A CP/LS Heuristic Method for Maxmin and Minmax Location Problems with Distance Constraints [slides]
    Panteleimon Iosif, Nikolaos Ploskas, Kostas Stergiou, and Dimosthenis C. Tsouros
  • CSPs with Few Alien Constraints [slides]
    Peter Jonsson, Victor Lagerkvist, and George Osipov
  • A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design [slides]
    Jihye Jung, Kevin Dalmeijer, and Pascal Van Hentenryck
  • Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four [slides]
    Artem Kaznatcheev and Melle van Marle
  • Computing small Rainbow Cycle Numbers with SAT modulo Symmetries [slides]
    Markus Kirchweger and Stefan Szeider
  • Frugal Algorithm Selection [slides]
    Erdem Kuş, Özgür Akgün, Nguyen Dang, and Ian Miguel
  • Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production [slides]
    Duc Anh Le, Stéphanie Roussel, Christophe Lecoutre, and Anouck Chan
  • An Efficient Local Search Solver for Mixed Integer Programming [slides]
    Peng Lin, Mengchuan Zou, and Shaowei Cai
  • Constraint Modelling with LLMs using In-Context Learning [slides]
    Kostis Michailidis, Dimos Tsouros, and Tias Guns
  • Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics [slides]
    Mohsen Nafar and Michael Römer
  • Learning Lagrangian Multipliers for the Travelling Salesman Problem [slides]
    Augustin Parjadis, Quentin Cappart, Bistra Dilkina, Aaron Ferber, and Louis-Martin Rousseau
  • Constraint Programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations [slides]
    Xavier Pucel and Stéphanie Roussel
  • Latency-Aware 2-Opt Monotonic Local Search for Distributed Constraint Optimization [slides]
    Ben Rachmut, Roie Zivan, and William Yeoh
  • Combining Constraint Programming Reasoning with Large Language Model Predictions
    Florian Régin, Elisabetta De Maria, and Alexandre Bonlarron
  • Structure-guided Local Improvement for Maximum Satisfiability [slides]
    André Schidler and Stefan Szeider
  • Efficient Implementation of the Global Cardinality Constraint with Costs [slides]
    Margaux Schmied and Jean-Charles Régin
  • An Investigation of Generic Approaches to Large Neighbourhood Search [slides]
    Filipe Souza, Diarmuid Grimes, and Barry O'Sullivan
  • CP for Bin Packing with Multi-core and GPUs [slides]
    Fabio Tardivo, Laurent Michel, and Enrico Pontelli
  • Mutational Fuzz Testing for Constraint Modeling Systems [slides]
    Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, and Tias Guns
  • Learning Precedences for Scheduling Problems with Graph Neural Networks [slides]
    Hélène Verhaeghe, Quentin Cappart, Gilles Pesant, and Claude-Guy Quimper
  • Inverting Step-reduced SHA-1 and MD5 by Parameterized SAT Solvers [slides]
    Oleg Zaikin
  • Solving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming [slides]
    Jiachen Zhang and J. Christopher Beck
  • Ex-Ante Constraint Elicitation in Incomplete DCOPs [slides]
    Roie Zivan, Shiraz Regev, and William Yeoh
  • Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination [slides]
    Neng-Fa Zhou