Two-level logic minimization: an overview

DOI10.1016/0167-9260(94)00007-7MaRDI QIDQ4325354zbMATH OpenOpenAlexFDO

Authors Olivier Coudert

Publication date 20 August 1995

Published in Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-9260(94)00007-7

zbMATH Keywords

set covering problembinary decision diagramtwo-level logic minimizationlogic minimizationpropositional formulacombinational set

Mathematics Subject Classification ID

Classical propositional logic (03B05) Parallel algorithms in computer science (68W10)

Recommendations

• Publication:4886040
• scientific article; zbMATH DE number 3902554
• Publication:3035136
• SAT-Based Formula Simplification
• Synthesis of multilevel Boolean networks

Cited in

(26)

• SAT-Based Formula Simplification
• A purely map procedure for two-level multiple-output logic minimization
• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• The ghosts of forgotten things: a study on size after forgetting
• Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions
• scientific article; zbMATH DE number 1962894 (Why is no real title available?)
• Algorithms for computing minimal equivalent subformulas
• Ordered binary decision diagrams and the Shannon effect
• Two-Level Multiple-Output Logic Minimization Using A Single Function
• Synthesis of autosymmetric functions in a new three-level form
• scientific article; zbMATH DE number 910866 (Why is no real title available?)
• scientific article; zbMATH DE number 4133829 (Why is no real title available?)
• The minimum equivalent DNF problem and shortest implicants
• scientific article; zbMATH DE number 3932951 (Why is no real title available?)
• Matching Integer Intervals by Minimal Sets of Binary Words with don’t cares
• Synthesis of multilevel Boolean networks
• McColl and minimization
• Signal Transition Graphs for Asynchronous Data Path Circuits
• Efficient implementation of regular languages using reversed alternating finite automata
• Logic minimization techniques with applications to cryptology
• scientific article; zbMATH DE number 3693167 (Why is no real title available?)
• Resolution cannot polynomially simulate compressed-BFS
• Common equivalence and size of forgetting from Horn formulae
• The Complexity of SPP Formula Minimization
• Implementing automata. Selected papers from the 2nd international workshop, WIA '97, Univ. of Western Ontario, London, Ontario, Canada, September 18--20, 1997
• Derivation of Minimal Sums for Completely Specified Functions

This page was built for publication: Two-level logic minimization: an overview

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