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