Solving infinite-domain CSPs using the patchwork property.
Konrad K. DabrowskiPeter JonssonSebastian OrdyniakGeorge OsipovPublished in: Artif. Intell. (2023)
Keyphrases
- constraint satisfaction problems
- constraint problems
- backtracking algorithm
- partial constraint satisfaction
- search space
- domain independent
- solving constraint satisfaction problems
- domain specific
- configuration problems
- solving problems
- arc consistency
- constraint satisfaction
- linear programming
- symmetry breaking
- graph coloring
- sat encodings
- hypertree decomposition