Keyphrases
- satisfiability problem
- propositional logic
- computational complexity
- np complete
- propositional dynamic logic
- terminological reasoning
- dynamic logic
- decision procedures
- phase transition
- sat problem
- artificial intelligence
- quantified boolean formulas
- data sets
- description logics
- expert systems
- database systems
- reasoning problems
- propositional formulas
- deontic logic
- data mining
- satisfiability testing
- database