Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- sat solving
- search algorithm
- propositional satisfiability
- phase transition
- pseudo boolean constraints
- stochastic local search algorithms
- boolean satisfiability
- stochastic local search
- max sat
- np complete
- search strategies
- artificial intelligence
- database
- sat instances
- genetic algorithm