| 2023 | Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. | Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin |
| 2023 | FastMapSVM for Predicting CSP Satisfiability. | Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar |
| 2023 | Searching for Smallest Universal Graphs and Tournaments with SAT. | Tianwei Zhang, Stefan Szeider |
| 2023 | From Formal Boosted Tree Explanations to Interpretable Rule Sets. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | Addressing Problem Drift in UNHCR Fund Allocation. | Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack |
| 2023 | CP Solver Design for Maximum CPU Utilization (Invited Talk). | Petr Vilm |
| 2023 | Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). | Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey |
| 2023 | Guided Bottom-Up Interactive Constraint Acquisition. | Dimosthenis C. Tsouros, Senne Berden, Tias Guns |
| 2023 | Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. | Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman |
| 2023 | Constraint Programming with External Worst-Case Traversal Time Analysis. | Pierre Talbot, Tingting Hu, Nicolas Navet |
| 2023 | Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper). | Manuel Combarro Simn, Pierre Talbot, Grgoire Danoy, Jedrzej Musial, Mohammed Alswaitti, Pascal Bouvry |
| 2023 | SAT-Based Learning of Compact Binary Decision Diagrams for Classification. | Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
| 2023 | Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). | Thomas Schiex |
| 2023 | Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
| 2023 | Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars. | Guillaume Povda, Nahum lvarez, Christian Artigues |
| 2023 | The p-Dispersion Problem with Distance Constraints. | Nikolaos Ploskas, Kostas Stergiou, Dimosthenis C. Tsouros |
| 2023 | Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). | Andreas Plank, Sibylle Mhle, Martina Seidl |
| 2023 | The CP-SAT-LP Solver (Invited Talk). | Laurent Perron, Frdric Didier, Steven Gay |
| 2023 | Distribution Optimization in Constraint Programming. | Guillaume Perez, Gal Glorian, Wijnand Suijlen, Arnaud Lallouet |
| 2023 | Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. | Xiao Peng, Christine Solnon |
| 2023 | A New Approach to Finding 2 x n Partially Spatially Balanced Latin Rectangles (Short Paper). | Renee Mirka, Laura Greenstreet, Marc Grimson, Carla P. Gomes |
| 2023 | Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. | Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordstrm |
| 2023 | Proof Logging for Smart Extensional Constraints. | Matthew J. McIlree, Ciaran McCreesh |
| 2023 | Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver. | Tom Marty, Tristan Franois, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau, Quentin Cappart |