| 2025 | Scheduling Telescope Observations for the European Southern Observatory (Short Paper). | Michael Prmm, Peter Nightingale, Felix Ulrich-Oltean |
| 2025 | Privacy-Preserving SAT Solving (Invited Talk). | Ruzica Piskac |
| 2025 | BFS-Based Canonical Codes for Generating Graphs with Constraint Programming. | Xiao Peng, Christine Solnon |
| 2025 | Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation. | Alessio Pellegrino, zgr Akgn, Nguyen Dang, Zeynep Kiziltan, Ian Miguel |
| 2025 | Exact Methods for the Travelling Salesperson Problem with Self-Deleting Graphs. | Daniel Pekar, J. Christopher Beck |
| 2025 | From Prediction to Action: A Constraint-Based Approach to Predictive Policing. | Younes Mechqrane, Ismail Elabbassi |
| 2025 | Understanding the Impact of Value Selection Heuristics in Scheduling Problems. | Tim Luchterhand, Emmanuel Hebrard, Sylvie Thibaux |
| 2025 | SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability. | Ole Lbke, Jeremias Berg |
| 2025 | Parallel MIP Solving with Dynamic Task Decomposition. | Peng Lin, Shaowei Cai, Mengchuan Zou, Shengqi Chen |
| 2025 | Dependency-Curated Large Neighbourhood Search. | Frej Knutar Lewander, Pierre Flener, Justin Pearson |
| 2025 | Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: A Constraint Programming Approach. | Duc Anh Le, Stphanie Roussel, Christophe Lecoutre |
| 2025 | The Work Task Variation Problem. | Mikael Z. Lagerkvist, Magnus Rattfeldt |
| 2025 | Learning to Bound for Maximum Common Subgraph Algorithms. | Buddhi W. Kothalawala, Henning Koehler, Qing Wang |
| 2025 | Practically Feasible Proof Logging for Pseudo-Boolean Optimization. | Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Yong Kiam Tan, Marc Vinyals |
| 2025 | Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. | Asma Khoualdia, Sami Cherif, Stphane Devismes, Lo Robert |
| 2025 | Greed Is Slow on Sparse Graphs of Oriented Valued Constraints. | Artem Kaznatcheev, Sofia Vazquez Alferez |
| 2025 | Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. | Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel |
| 2025 | PrintTalk: A Language for Constraint-Based 3D Modelling. | Jef Jacobs, Wolfgang De Meuter, Jens Nicolay |
| 2025 | Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo, Bart Bogaerts |
| 2025 | Guess and Prove: A Hybrid Approach to Linear Polynomial Recovery in Circuit Verification. | Clemens Hofstadler, Daniela Kaufmann |
| 2025 | Disjunctive Scheduling in Tempo. | Emmanuel Hebrard |
| 2025 | An Expansion-Based Approach for Quantified Integer Programming. | Michael Hartisch, Leroy Chew |
| 2025 | Cargo Routing Optimization in Liner Shipping Networks. | Yousra El Ghazi, Djamal Habet, Cyril Terrioux |
| 2025 | Unit Types for MiniZinc. | Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack |
| 2025 | Towards Modern and Modular SAT for LCG (Short Paper). | Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong |