Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae.

William F. Dowling Jean H. Gallier

Published in: J. Log. Program. (1984)

Keyphrases

propositional logic
worst case
learning algorithm
computational complexity
significant improvement
computationally efficient
satisfiability problem
satisfiability testing
data structure
search space
np complete
orders of magnitude