FastMapSVM for Predicting CSP Satisfiability.
Kexin ZhengAng LiHan ZhangT. K. Satish KumarPublished in: CP (2023)
Keyphrases
- constraint satisfaction problems
- sat encodings
- sat problem
- np complete
- satisfiability problem
- constraint satisfaction
- computational complexity
- phase transition
- propositional logic
- neural network
- constraint propagation
- constraint programming
- arc consistency
- partial constraint satisfaction
- arc consistency algorithm
- backtracking search
- reasoning problems
- graph coloring
- decision procedures
- np hard
- search algorithm