Keyphrases
- satisfiability problem
- np complete
- phase transition
- propositional logic
- computational complexity
- decision procedures
- terminological reasoning
- computational properties
- data mining
- special case
- knowledge base
- sat problem
- databases
- reasoning problems
- quantified boolean formulas
- propositional theories
- satisfiability testing
- database