An Improved Incremental Algorithm for Generating Prime Implicates
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A perspective on assumption-based truth maintenanceArtificial Intelligence, 1993
- An incremental method for generating prime implicants/implicatesJournal of Symbolic Computation, 1990
- A circumscriptive theorem proverPublished by Springer Nature ,1989
- Generalization of Consensus Theory and Application to the Minimization of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967