Characterizations of Sparsifiability for Affine CSPs and Symmetric CSPs.
Sanjeev KhannaAaron (Louie) PuttermanMadhu SudanPublished in: CoRR (2024)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- arc consistency
- solving constraint satisfaction problems
- partial constraint satisfaction
- constraint problems
- constraint propagation
- search space
- constraint networks
- hypertree decomposition
- backtracking algorithm
- tree decomposition
- non binary
- symmetry breaking
- distributed constraint satisfaction
- np complete
- search algorithm
- knowledge base
- sat encodings
- search tree
- affine transformation
- constraint programming
- data sets
- real time