Factoring logic functions

DOI10.1147/RD.312.0187MaRDI QIDQ3775482zbMATH OpenOpenAlexFDO

Authors Robert K. Brayton

Publication date 1987

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.312.0187

zbMATH Keywords

algorithmsimplementationlogic functionBoolean divisionalgebraic divisionfactored formskernel of a logic expressionrectangle coverings of Boolean matrices

Mathematics Subject Classification ID

Boolean functions (06E30) Logical aspects of Boolean algebras (03G05)

Recommendations

• scientific article; zbMATH DE number 4133979
• Factoring Boolean functions using graph partitioning
• Factorization of Boolean polynomials: parallel algorithms and experimental evaluation
• Graph-Based Algorithms for Boolean Function Manipulation
• Publication:3035136

Cited in

(5)

• scientific article; zbMATH DE number 5239161 (Why is no real title available?)
• Technology mapping for single target gate based circuits using Boolean functional decomposition
• Complexity minimization in rule-based category learning: revising the catalog of Boolean concepts and evidence for non-minimal rules
• Factoring Boolean functions using graph partitioning
• World-set decompositions: Expressiveness and efficient algorithms

This page was built for publication: Factoring logic functions

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