Keyphrases
- cnf formula
- np complete
- max sat
- sat problem
- truth assignment
- randomly generated
- knowledge compilation
- propositional formulas
- randomly chosen
- satisfiability problem
- conjunctive normal form
- search algorithm
- davis putnam
- constraint satisfaction problems
- normal form
- decision problems
- orders of magnitude
- knowledge representation
- special case
- xml documents
- search space
- expert systems
- random instances
- lower bound
- database systems