Keyphrases
- satisfiability problem
- np complete
- propositional logic
- phase transition
- terminological reasoning
- computational complexity
- decision procedures
- satisfiability testing
- stochastic local search
- boolean formula
- automata theoretic
- description logics
- search space
- constraint satisfaction
- optimal solution
- machine learning
- symmetry breaking
- databases