Accepted Papers
The CP 2022 proceedings is accessible here.
- A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems
- Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms
- Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams
- Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
- A Constraint Programming Approach to Ship Refit Project Scheduling
- Exploiting Functional Constraints in Generating Dominance Breaking Nogoods for Constraint Optimization
- Explaining Propagation for Gini and Spread with Variable Mean
- Isomorphisms between STRIPS problems and sub-problems
- On Quantitative Testing of Uniform Samplers
- DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security
- An Auditable Constraint Programming Solver
- Heuristics for MDD Propagation in Haddock
- Understanding how people approach constraint modelling and solving
- Computing relaxations for the three-dimensional stable matching problem with cyclic preferences
- Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams
- Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs
- Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry
- CNF Encodings of Binary Constraint Trees
- From Cliques to Colorings and Back Again
- From Crossing-Free Resolution to Max-SAT Resolution
- Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints
- Acquiring Maps of Interrelated Conjectures on Sharp Bounds
- Plotting: A Planning Problem With Complex Transitions
- Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation
- CSP Beyond Tractable Constraint Languages
- A framework for generating informative benchmark instances
- Constraint Acquisition Based on Solution Counting
- On Redundancy in Constraint Satisfaction Problems
- On the Enumeration of Frequent High Utility Itemsets: A symbolic AI Approach
- Complexity of Minimum-Size Arc-Inconsistency Explanations
- Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming
- Learning Constraint Programming Models from Data using Generate-and-Aggregate
- Weisfeiler-Leman Invariant Promise Valued CSPs
- Fixed-Template Promise Model Checking Problems
- Large Neighbourhood Search for Robust Solutions
- Parallel Hybrid Best-First Search
- Improved Learning Bounds for Branch-and-Cut
- Sequence Variables for Routing Problems
- Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data
- Structured Set Variable Domains in Bayesian Network Structure Learning