Renaming a Set of Clauses as a Horn Set
- 1 January 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 25 (1) , 134-135
- https://doi.org/10.1145/322047.322059
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Unit Refutations and Horn SetsJournal of the ACM, 1974
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971