Keyphrases
- satisfiability problem
- np complete
- propositional logic
- computational complexity
- terminological reasoning
- satisfiability testing
- search algorithm
- sat problem
- decision procedures
- quantified boolean formulas
- data sets
- description logics
- phase transition
- artificial intelligence
- machine learning
- sat solving
- adaptive threshold