| 2022 | 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Haifa, Israel, July 31 - August 8, 2022 Christine Solnon |
| 2022 | A Constraint Programming Approach to Ship Refit Project Scheduling. Raphaël Boudreault, Vanessa Simard, Daniel Lafond, Claude-Guy Quimper |
| 2022 | A Framework for Generating Informative Benchmark Instances. Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale |
| 2022 | A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems. Hongbo Li, Yaling Wu, Minghao Yin, Zhanshan Li |
| 2022 | Acquiring Maps of Interrelated Conjectures on Sharp Bounds. Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper |
| 2022 | All Questions Answered (Invited Talk). Donald E. Knuth |
| 2022 | An Auditable Constraint Programming Solver. Stephan Gocht, Ciaran McCreesh, Jakob Nordström |
| 2022 | CNF Encodings of Binary Constraint Trees. Ruiwei Wang, Roland H. C. Yap |
| 2022 | CSP Beyond Tractable Constraint Languages. Jan Dreier, Sebastian Ordyniak, Stefan Szeider |
| 2022 | Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints. Daphné Lafleur, Sarath Chandar, Gilles Pesant |
| 2022 | Completeness Matters: Towards Efficient Caching in Tree-Based Synchronous Backtracking Search for DCOPs. Jie Wang, Dingding Chen, Ziyu Chen, Xiang-Shuang Liu, Junsong Gao |
| 2022 | Complexity of Minimum-Size Arc-Inconsistency Explanations. Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard |
| 2022 | Computing Relaxations for the Three-Dimensional Stable Matching Problem with Cyclic Preferences. Ágnes Cseh, Guillaume Escamocher, Luis Quesada |
| 2022 | Constraint Acquisition Based on Solution Counting. Christopher Coulombe, Claude-Guy Quimper |
| 2022 | DUELMIPs: Optimizing SDN Functionality and Security. Timothy Curry, Gabriel De Pace, Benjamin Fuller, Laurent Michel, Yan Lindsay Sun |
| 2022 | Explaining Propagation for Gini and Spread with Variable Mean. Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2022 | Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. Jimmy H. M. Lee, Allen Z. Zhong |
| 2022 | Fixed-Template Promise Model Checking Problems. Kristina Asimi, Libor Barto, Silvia Butti |
| 2022 | From Cliques to Colorings and Back Again. Marijn J. H. Heule, Anthony Karahalios, Willem-Jan van Hoeve |
| 2022 | From Crossing-Free Resolution to Max-SAT Resolution. Mohamed Sami Cherif, Djamal Habet, Matthieu Py |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2022 | Heuristics for MDD Propagation in HADDOCK. Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve |
| 2022 | Improved Sample Complexity Bounds for Branch-And-Cut. Maria-Florina Balcan, Siddharth Prasad, Tuomas Sandholm, Ellen Vitercik |
| 2022 | Isomorphisms Between STRIPS Problems and Sub-Problems. Martin C. Cooper, Arnaud Lequen, Frédéric Maris |
| 2022 | Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains. Jheisson López, Alejandro Arbelaez, Laura Climent |
| 2022 | Learning Constraint Programming Models from Data Using Generate-And-Aggregate. Mohit Kumar, Samuel Kolb, Tias Guns |
| 2022 | Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation. Senne Berden, Mohit Kumar, Samuel Kolb, Tias Guns |
| 2022 | Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry. Felix Winter, Sebastian Meiswinkel, Nysret Musliu, Daniel Walkiewicz |
| 2022 | Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms. Hélène Fargier, Jérôme Mengin, Nicolas Schmidt |
| 2022 | On Quantitative Testing of Samplers. Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel |
| 2022 | On Redundancy in Constraint Satisfaction Problems. Clément Carbonnel |
| 2022 | On the Enumeration of Frequent High Utility Itemsets: A Symbolic AI Approach. Amel Hidouri, Saïd Jabbour, Badran Raddaoui |
| 2022 | Parallel Hybrid Best-First Search. Abdelkader Beldjilali, Pierre Montalbano, David Allouche, George Katsirelos, Simon de Givry |
| 2022 | Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams. Isaac Rudich, Quentin Cappart, Louis-Martin Rousseau |
| 2022 | Plotting: A Planning Problem with Complex Transitions. Joan Espasa, Ian Miguel, Mateu Villaret |
| 2022 | Scheduling the Equipment Maintenance of an Electric Power Transmission Network Using Constraint Programming. Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo, Quentin Cappart |
| 2022 | Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker |
| 2022 | Sequence Variables for Routing Problems. Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck |
| 2022 | Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams. Vianney Coppé, Xavier Gillard, Pierre Schaus |
| 2022 | Structured Set Variable Domains in Bayesian Network Structure Learning. Fulya Trösser, Simon de Givry, George Katsirelos |
| 2022 | Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data. Chaithanya Basrur, Arambam James Singh, Arunesh Sinha, Akshat Kumar, T. K. Satish Kumar |
| 2022 | Understanding How People Approach Constraint Modelling and Solving. Ruth Hoffmann, Xu Zhu, Özgür Akgün, Miguel A. Nacenta |
| 2022 | Weisfeiler-Leman Invariant Promise Valued CSPs. Libor Barto, Silvia Butti |