Rank/Activity: A Canonical Form for Binary Resolution

Authors:
J. D. Horton;Bruce Spencer
Affiliations:
-;-
Venue:
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Year:
1998

Citing 0
Cited 2

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution

Journal of Automated Reasoning
Counting the Number of Equivalent Binary Resolution Proofs

LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract