Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution
From MaRDI portal
Publication:1581851
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
Related Items (1)
This page was built for publication: Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution