Additive Sparsification of CSPs.
Eden PellegStanislav ZivnýPublished in: ACM Trans. Algorithms (2024)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- solving constraint satisfaction problems
- arc consistency
- non binary
- search space
- least squares
- backtracking algorithm
- constraint networks
- tree decomposition
- regularization method
- constraint programming
- hypertree decomposition
- additive model
- database
- partial constraint satisfaction
- distributed constraint satisfaction
- symmetry breaking
- sat problem