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

Authors
B.Spencer,J.D.Horton
Citation
B.spencer,j.d.horton, Efficient Algorithms to Detect and Restore Minimality, an Extension of Regular Restriction of Resolution, Journal of automated reasoning , 25(1), 2000, pp. 1-34
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
25
Issue
1
Year of publication
2000
Pages
1 - 34
Database
ACNP
SICI code