Lineartime algorithms for testing the satisfiability of propositional Horn formulas

Dowling, W. F. | Gallier, J. H.

Feb-1-1984–Classics

J. Logic Programming, 1, 267–284.

algorithm, lineartime algorithm, propositional horn formula, (4 more...)

Feb-1-1984

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence (0.39)