Keyphrases
- tableau calculus
- sat solvers
- satisfiability problem
- description logics
- knowledge base
- sat problem
- propositional satisfiability
- stochastic local search
- search algorithm
- max sat
- concept learning
- phase transition
- sat instances
- artificial intelligence
- learning algorithm
- propositional logic
- search strategies
- constraint satisfaction
- np complete
- minimal models