An incremental method for generating prime implicants/implicates
- 1 February 1990
- journal article
- research article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 9 (2) , 185-206
- https://doi.org/10.1016/s0747-7171(08)80029-6
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- An incremental method for generating prime implicants/implicatesJournal of Symbolic Computation, 1990
- Diagnosing multiple faultsArtificial Intelligence, 1987
- An assumption-based TMSArtificial Intelligence, 1986
- On the number of prime implicantsDiscrete Mathematics, 1978
- A New Technique for the Fast Minimization of Switching FunctionsIEEE Transactions on Computers, 1977
- A Method for Generating Prime Implicants of a Boolean ExpressionIEEE Transactions on Computers, 1974
- Generalization of Consensus Theory and Application to the Minimization of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960