Keyphrases
- sat problem
- np complete problems
- sat instances
- sat solving
- solving hard
- stochastic local search
- sat solvers
- satisfiability problem
- np complete
- phase transition
- constraint satisfaction problems
- propositional satisfiability
- random sat instances
- boolean satisfiability
- hybrid algorithms
- graph coloring
- davis putnam
- randomly generated
- systematic search algorithms
- combinatorial problems
- combinatorial optimization
- weighted max sat
- max sat
- backtracking search
- random sat
- clause learning
- decision making
- propositional logic
- branch and bound
- decision makers
- state space
- optimal solution
- objective function