Algorithms for the satisfiability (SAT) problem: A survey.
Jun GuPaul W. PurdomJohn FrancoBenjamin W. WahPublished in: Satisfiability Problem: Theory and Applications (1996)
Keyphrases
- sat problem
- computational complexity
- satisfiability problem
- stochastic local search
- learning algorithm
- orders of magnitude
- propositional satisfiability
- np complete
- sat instances
- random sat instances
- linear programming
- constraint satisfaction problems
- combinatorial optimization
- dynamic programming
- propositional logic
- max sat
- sat solving