LTUR: a simplified linear-time unit resolution algorithm for horn formulae and computer implementation
- 15 September 1988
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 29 (1), 1-12
- https://doi.org/10.1016/0020-0190(88)90124-x
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- HORNLOG: A graph-based interpreter for general Horn clausesThe Journal of Logic Programming, 1987
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- A switching algorithm for the solution of quadratic boolean equationsInformation Processing Letters, 1980
- On the Complexity of Timetable and Multicommodity Flow ProblemsSIAM Journal on Computing, 1976