Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution

DOI10.1023/A:1006241826565zbMath0961.68120OpenAlexW1608678069MaRDI QIDQ1581851

J. D. Horton, Bruce D. Spencer

Publication date: 10 October 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006241826565

zbMATH Keywords

binary treesurgerysplaybinary resolution proof

Mathematics Subject Classification ID

Related Items (1)

\((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic

This page was built for publication: Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution