Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- search algorithm
- boolean satisfiability
- max sat
- phase transition
- stochastic local search
- stochastic local search algorithms
- sat solving
- backtracking search
- search problems
- fixed width
- data sets
- satisfiability testing
- sat instances
- combinatorial optimization
- metaheuristic
- np complete
- special case
- artificial intelligence