Generating Test Examples for Heuristic Boolean Minimization

DOI10.1147/RD.185.0459MaRDI QIDQ4777257zbMATH OpenOpenAlexFDO

Authors Daniel L. Ostapko, Se June Hong

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.0459

Mathematics Subject Classification ID

Classical propositional logic (03B05) Coloring of graphs and hypergraphs (05C15) Combinatorial aspects of packing and covering (05B40) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cited in

(1)

• Polynomial-time algorithms for generation of prime implicants

This page was built for publication: Generating Test Examples for Heuristic Boolean Minimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4777257)