| 2026 | Constraint-Aware Self-Supervised Learning for Edge Selection. | Xinda Zheng, Frits de Nijs, Edward Lam |
| 2026 | Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT. | Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li |
| 2026 | Lightweight Look-Ahead-Based Value Heuristics for Constraint Optimization Problems. | Ziyang Yu, Hongbo Li |
| 2026 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2026 | A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling. | Felix Winter |
| 2026 | Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation Framework. | Rick S. H. Willemsen, Tenindra Abeywickrama, Ramu Anandakrishnan |
| 2026 | Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization. | Anna Vitali, Roberto Amadini, Vittorio Maniezzo, Maurizio Gabbrielli |
| 2026 | An Iterative Constraint Programming Approach to Integrate Maximum Workload Constraints in Preemptive Jobshop Scheduling (Short Paper). | Tanguy Terrien, Cyrille Briand |
| 2026 | GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization. | Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve |
| 2026 | VIPR Certificate Construction from Black-Box ILP Solvers. | Stefan Szeider |
| 2026 | Computing Short SAT Implicants via Ising/QUBO Encodings. | Giuseppe Spallitta, Leonardo Dueas-Osorio, Moshe Y. Vardi |
| 2026 | Combining an ε-Constraint Method with the Pareto Global Constraint. | Manuel Combarro Simn, Pierre Talbot, Pascal Bouvry |
| 2026 | On Inferring Cumulative Constraints. | Konstantin Sidorov |
| 2026 | The Distance Constraint on Sequence Variables. | Margaux Schmied, Augustin Delecluse, Jean-Charles Rgin, Pierre Schaus |
| 2026 | Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (Invited Talk). | Torsten Schaub |
| 2026 | A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL. | Gili Rosenberg, Kyle E. C. Booth, John Kyle Brubaker, Ruben S. Andrist |
| 2026 | Revisiting Integer Programming Encodings of Acyclicity. | Masood Feyzbakhsh Rankooh, Matti Jrvisalo |
| 2026 | Constraint Programming for Mixed-Model Assembly Line Scheduling with Complex Industrial Constraints. | Guillaume Povda, Javier Buil Tejero, Tamara Borreguero-Sanchidrin |
| 2026 | Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming Approach. | Diego Olivier Fernandez Pons, Pierre Schaus |
| 2026 | Instance Space Analysis and Complexity Estimation for Scheduling Problems. | Christian Prez, Isabel Catal, Unai Lpez, Miguel A. Salido |
| 2026 | The Voice of the Flow: A Graph-Based Approach for Step-Wise Explanations of Constraint Satisfaction Problems. | Minh Anh Nguyen, Tien Mai, Hoong Chuin Lau |
| 2026 | An Automata-Based Constraint Programming Framework for Optimal Classical Planning. | Damien Van Meerbeeck, Arnaud Lequen, Gilles Pesant, Jendrik Seipp |
| 2026 | Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB. | Ciaran McCreesh, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan |
| 2026 | From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming. | Imko Marijnissen, Maarten Flippo, Emir Demirovic |
| 2026 | Learning Unified Graph and Language Representations for SMT Algorithm Selection. | Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh |