Keyphrases
- cnf formula
- conjunctive normal form
- sat solving
- np complete
- satisfiability problem
- boolean formula
- sat problem
- computational complexity
- sat instances
- propositional logic
- boolean functions
- randomly generated
- stochastic local search
- knowledge base
- sat solvers
- max sat
- phase transition
- randomly chosen
- random constraint satisfaction problems
- highly efficient
- memory efficient
- expressive power
- constraint satisfaction problems
- quantified boolean formulas