A Satisfiability Tester for Non-Clausal Propositional Calculus.
Allen Van GelderPublished in: CADE (1984)
Keyphrases
- propositional calculus
- decision procedures
- propositional theories
- computational problems
- satisfiability problem
- theorem proving
- modal logic
- logic programs
- propositional logic
- stochastic local search
- computational properties
- black box
- quantified boolean formulas
- reasoning problems
- defeasible logic
- inductive logic programming
- test cases
- np complete
- phase transition
- computational complexity
- terminological reasoning
- search algorithm
- prime implicates
- automated reasoning
- temporal resolution
- sat problem
- data sets
- constraint satisfaction
- cnf formula
- nonmonotonic logics
- inference rules
- conjunctive queries
- logic programming
- decomposable negation normal form