| 2023 | 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, Toronto, Canada, August 27-31, 2023 Roland H. C. Yap |
| 2023 | A CP Approach for the Liner Shipping Network Design Problem. Yousra El Ghazi, Djamal Habet, Cyril Terrioux |
| 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 | A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). Jimmy H. M. Lee |
| 2023 | Addressing Problem Drift in UNHCR Fund Allocation. Sameela Suharshani Wijesundara, Maria Garcia de la Banda, Guido Tack |
| 2023 | An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling. Carla Juvin, Emmanuel Hebrard, Laurent Houssin, Pierre Lopez |
| 2023 | Assembly Line Preliminary Design Optimization for an Aircraft. Stéphanie Roussel, Thomas Polacsek, Anouck Chan |
| 2023 | Beyond Optimal Solutions for Real-World Problems (Invited Talk). Maria Garcia de la Banda |
| 2023 | Binary Constraint Trees and Structured Decomposability. Petr Kucera |
| 2023 | Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with Aggregate Dynamic Programming. Vianney Coppé, Xavier Gillard, Pierre Schaus |
| 2023 | CP Solver Design for Maximum CPU Utilization (Invited Talk). Petr Vilím |
| 2023 | Constraint Model for the Satellite Image Mosaic Selection Problem (Short Paper). Manuel Combarro Simón, Pierre Talbot, Grégoire Danoy, Jedrzej Musial, Mohammed Alswaitti, Pascal Bouvry |
| 2023 | Constraint Programming Models for Depth-Optimal Qubit Assignment and SWAP-Based Routing (Short Paper). Kyle E. C. Booth |
| 2023 | Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper). Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck |
| 2023 | Constraint Programming with External Worst-Case Traversal Time Analysis. Pierre Talbot, Tingting Hu, Nicolas Navet |
| 2023 | Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). Thomas Schiex |
| 2023 | Distribution Optimization in Constraint Programming. Guillaume Perez, Gaël Glorian, Wijnand Suijlen, Arnaud Lallouet |
| 2023 | Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming. Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman |
| 2023 | Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). Andreas Plank, Sibylle Möhle, Martina Seidl |
| 2023 | Exploiting Configurations of MaxSAT Solvers. Josep Alòs, Carlos Ansótegui, Josep M. Salvia, Eduard Torres |
| 2023 | Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert Views. Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda, Michael Wybrow |
| 2023 | Fast Matrix Multiplication Without Tears: A Constraint Programming Approach. Arnaud Deza, Chang Liu, Pashootan Vaezipoor, Elias B. Khalil |
| 2023 | FastMapSVM for Predicting CSP Satisfiability. Kexin Zheng, Ang Li, Han Zhang, T. K. Satish Kumar |
| 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 | Guided Bottom-Up Interactive Constraint Acquisition. Dimosthenis C. Tsouros, Senne Berden, Tias Guns |
| 2023 | Guiding Backtrack Search by Tracking Variables During Constraint Propagation. Gilles Audemard, Christophe Lecoutre, Charles Prud'homme |
| 2023 | Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density. Roger Kameugne, Sévérine Betmbe Fetgo, Thierry Noulamo, Clémentin Tayou Djamégni |
| 2023 | Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström |
| 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 | Incremental Constrained Clustering by Minimal Weighted Modification. Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni, Christel Vrain |
| 2023 | Large Neighborhood Beam Search for Domain-Independent Dynamic Programming. Ryo Kuroiwa, J. Christopher Beck |
| 2023 | Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver. Tom Marty, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau, Quentin Cappart |
| 2023 | MDD Archive for Boosting the Pareto Constraint. Steve Malalel, Arnaud Malapert, Marie Pelleau, Jean-Charles Régin |
| 2023 | Optimization Models for Pickup-And-Delivery Problems with Reconfigurable Capacities. Arnoosh Golestanian, Giovanni Lo Bianco, Chengyu Tao, J. Christopher Beck |
| 2023 | Optimization of Short-Term Underground Mine Planning Using Constraint Programming. Younes Aalian, Gilles Pesant, Michel Gamache |
| 2023 | Partially Preemptive Multi Skill/Mode Resource-Constrained Project Scheduling with Generalized Precedence Relations and Calendars. Guillaume Povéda, Nahum Álvarez, Christian Artigues |
| 2023 | Partitioning a Map into Homogeneous Contiguous Regions: A Branch-And-Bound Approach Using Decision Diagrams (Short Paper). Nicolas Golenvaux, Xavier Gillard, Siegfried Nijssen, Pierre Schaus |
| 2023 | Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey |
| 2023 | Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo |
| 2023 | Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses. Alexandre Dubray, Pierre Schaus, Siegfried Nijssen |
| 2023 | Proof Logging for Smart Extensional Constraints. Matthew J. McIlree, Ciaran McCreesh |
| 2023 | Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
| 2023 | SAT-Based Learning of Compact Binary Decision Diagrams for Classification. Pouya Shati, Eldan Cohen, Sheila A. McIlraith |
| 2023 | Searching for Smallest Universal Graphs and Tournaments with SAT. Tianwei Zhang, Stefan Szeider |
| 2023 | Simplifying Step-Wise Explanation Sequences. Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns |
| 2023 | Symmetries for Cube-And-Conquer in Finite Model Finding. João Araújo, Choiwah Chow, Mikolás Janota |
| 2023 | The CP-SAT-LP Solver (Invited Talk). Laurent Perron, Frédéric Didier, Steven Gay |
| 2023 | The p-Dispersion Problem with Distance Constraints. Nikolaos Ploskas, Kostas Stergiou, Dimosthenis C. Tsouros |
| 2023 | Towards More Efficient Local Search for Pseudo-Boolean Optimization. Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng |
| 2023 | Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming. Xiao Peng, Christine Solnon |