| 2026 | An Offline Neuro-Symbolic Football Pattern Retrieval Approach Using Constraint Programming. | Augustin Crespin, Pierre Schaus |
| 2026 | Fairness of Classifiers in the Presence of Constraints Between Features. | Martin C. Cooper, Imane Bousdira |
| 2026 | Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning. | Samuel Cloutier, Claude-Guy Quimper |
| 2026 | Linear-Memory Beam Search Algorithms in Domain-Independent Dynamic Programming. | Yuxiao Chen, J. Christopher Beck |
| 2026 | On Symmetries and Transformations. | Daimy Van Caudenberg, Markus Anders, Bart Bogaerts |
| 2026 | Solving the Multiple Constant Multiplication Problem with Constraint Programming. | Tho Cantaloube, Xiao Peng, Christine Solnon, Anastasia Volkova |
| 2026 | Modelling and Optimizing HVAC Systems for Early-Stage Building Design. | Victor Calixto, Camilo Cruz Gambardella, Amin Karimi, Pierre Le Bodic, Allen Z. Zhong |
| 2026 | Equal-Sized Partition Problem: Application in Spinning and Yarn Production. | Quoc-Trung Bui |
| 2026 | Classification of Non-Redundancy of Boolean Predicates of Arity 4. | Joshua Brakensiek, Venkatesan Guruswami, Aaron Putterman |
| 2026 | Towards Step-Wise Explanations of Large Search Trees (Short Paper). | Ignace Bleukx, Peter J. Stuckey, Tias Guns |
| 2026 | Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling. | Arthur Bit-Monnot |
| 2026 | Table Constraints for Integer Programming. | Hendrik Bierlee, Wout Piessens, Tias Guns, Peter J. Stuckey |
| 2026 | Satisfiability for Large Weight Syndrome Decoding. | Carl Berton, Sami Cherif, Claire Delaplace |
| 2026 | ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios. | Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2026 | Approximating Time-Dependent Transition Times in Constraint Programming for an Earth Observation Mission. | Romain Barrault, Cdric Pralet, Gauthier Picard, Eric Sawyer |
| 2025 | An Efficient and Uniform CSP Solution Generator Generator. | Ghiles Ziat, Martin Ppin |
| 2025 | The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators. | Tianwei Zhang, Stefan Szeider |
| 2025 | Reducing Quantum Circuit Synthesis to #SAT. | Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2025 | Multi-League Sports Scheduling with Team Interdependencies: An Optimization Model. | Nils Weidmann |
| 2025 | Balancing Latin Rectangles with LLM-Generated Streamliners. | Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
| 2025 | Anytime and Exact Search for Planning Problems: How to explore a DP-based state transition graph with A*, CP and LS? (Invited Talk). | Christine Solnon |
| 2025 | Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. | Konstantin Sidorov, Imko Marijnissen, Emir Demirovic |
| 2025 | DynamicSAT: Dynamic Configuration Tuning for SAT Solving. | Zhengyuan Shi, Wentao Jiang, Xindi Zhang, Jin Luo, Yun Liang, Zhufei Chu, Qiang Xu |
| 2025 | Constraint-Based In-Station Train Dispatching. | Andreas Schutt, Matteo Cardellini, Jip J. Dekker, Daniel Harabor, Marco Maratea, Mauro Vallati |