MINI: A Heuristic Approach for Logic Minimization
From MaRDI portal
Publication:4777256
DOI10.1147/rd.185.0443zbMath0289.02009MaRDI QIDQ4777256
R. G. Cain, Se June Hong, Daniel L. Ostapko
Publication date: 1974
Published in: IBM Journal of Research and Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1147/rd.185.0443
03B05: Classical propositional logic
03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations
Related Items
Partially unate Boolean functions: properties of their sum-of-products representations, Compact DSOP and partial DSOP forms, A continuous approach to inductive inference, Polynomial-time algorithms for generation of prime implicants, Study of the complexity of an algorithm to derive the complement of a binary function, A purely map procedure for two-level multiple-output logic minimization, Logic design of decoded-programmable logic arrays