Keyphrases
- first order logic
- satisfiability problem
- propositional logic
- higher order
- np complete
- propositional theories
- genetic algorithm
- computational complexity
- sat problem
- horn clauses
- decision procedures
- satisfiability testing
- universally quantified
- quantified boolean formulas
- linear temporal logic
- quantifier elimination
- learning algorithm