| 2024 | Constraint Modelling with LLMs Using In-Context Learning. | Kostis Michailidis, Dimos Tsouros, Tias Guns |
| 2024 | An Efficient Local Search Solver for Mixed Integer Programming. | Peng Lin, Mengchuan Zou, Shaowei Cai |
| 2024 | Learning Effect and Compound Activities in High Multiplicity RCPSP: Application to Satellite Production. | Duc Anh Le, Stphanie Roussel, Christophe Lecoutre, Anouck Chan |
| 2024 | Frugal Algorithm Selection (Short Paper). | Erdem Kus, zgr Akgn, Nguyen Dang, Ian Miguel |
| 2024 | Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries (Short Paper). | Markus Kirchweger, Stefan Szeider |
| 2024 | Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four. | Artem Kaznatcheev, Melle van Marle |
| 2024 | A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. | Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck |
| 2024 | CSPs with Few Alien Constraints. | Peter Jonsson, Victor Lagerkvist, George Osipov |
| 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 | Using Constraint Programming for Disjunctive Scheduling in Temporal AI Planning. | Adam Francis Green, J. Christopher Beck, Amanda Jane Coles |
| 2024 | Solving Patience and Solitaire Games with Good Old Fashioned AI (Invited Talk). | Ian P. Gent |
| 2024 | Improved Bounds of Integer Solution Counts via Volume and Extending to Mixed-Integer Linear Constraints. | Cunjing Ge, Armin Biere |
| 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 | Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference. | Alexandre Dubray, Pierre Schaus, Siegfried Nijssen |
| 2024 | Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms. | Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordstrm, Andy Oertel, Konstantin Sidorov |
| 2024 | Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper). | Augustin Delecluse, Pierre Schaus |
| 2024 | Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. | Joo Cortes, Ins Lynce, Vasco Manquinho |
| 2024 | Cumulative Scheduling with Calendars and Overtime. | Samuel Cloutier, 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 | Deep Cooperation of Local Search and Unit Propagation Techniques. | Xiamin Chen, Zhendong Lei, Pinyan Lu |
| 2024 | ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. | Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai |
| 2024 | Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Tobias Paxian, Dieter Vandesande |
| 2024 | The Complexity of Symmetry Breaking Beyond Lex-Leader. | Markus Anders, Sofia Brenner, Gaurav Rattan |
| 2024 | Inverting Step-Reduced SHA-1 and MD5 by Parameterized SAT Solvers. | Oleg Zaikin |
| 2024 | Thinking Fast and Slow in AI: A Cognitive Architecture to Augment Both AI and Human Reasoning (Invited Talk). | Francesca Rossi |