Keyphrases
- decision procedures
- modal logic
- satisfiability problem
- automated reasoning
- reasoning problems
- theorem proving
- np complete
- phase transition
- quantified boolean formulas
- computational complexity
- functional dependencies
- satisfiability testing
- conjunctive queries
- propositional logic
- terminological reasoning
- sat problem
- inference rules
- temporal logic
- integrity constraints
- cnf formula
- constraint satisfaction
- proof procedure
- expert systems
- genetic algorithm
- data sets