Keyphrases
- cnf formula
- conjunctive normal form
- sat solving
- sat problem
- np complete
- sat instances
- boolean formula
- boolean functions
- sat solvers
- satisfiability problem
- randomly generated
- stochastic local search
- random constraint satisfaction problems
- uniformly distributed
- memory efficient
- random instances
- max sat
- decision procedures
- boolean satisfiability
- lower bound
- highly efficient
- quantified boolean formulas
- relational databases