Use of Unit Clauses and Clause Splitting in Automatic Deduction.

Shie-Jue Lee David A. Plaisted

Published in: ICCI (1992)

Keyphrases

search space
horn clauses
inference rules
first order logic
theorem prover
refinement operators
fully automatic
case study
semi automatic
real time
search algorithm
np hard
data driven
propositional logic
propositional variables