On Approximability of Satisfiable k-CSPs: II.
Amey BhangaleSubhash KhotDor MinzerPublished in: STOC (2023)
Keyphrases
- constraint satisfaction problems
- sat problem
- constraint satisfaction
- approximation algorithms
- phase transition
- constraint propagation
- satisfiability problem
- non binary
- neural network
- arc consistency
- distributed constraint satisfaction
- backtracking algorithm
- random instances
- constraint networks
- np hard
- search space
- data sets
- max sat
- symmetry breaking
- constraint problems
- np complete
- solving constraint satisfaction problems