scientific article; zbMATH DE number 910866

MaRDI QIDQ4886040zbMATH OpenFDO

Authors Olivier Coudert

Publication date 28 July 1996

zbMATH Keywords

algorithmBoolean functiondisjunctive normal formtwo level logictwo level minimization

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Two-level logic minimization: an overview
• A 2-phase method for the minimisation of boolean polynomials
• Publication:3035136
• scientific article; zbMATH DE number 3902554
• scientific article; zbMATH DE number 2172796

Cited in

(17)

• Translation among CNFs, characteristic models and ordered binary decision diagrams
• Symbolic topological sorting with OBDDs
• Synthesis of multilevel Boolean networks
• OBDDs of a monotone function and of its prime implicants
• Two-level logic minimization: an overview
• A New Technique for the Fast Minimization of Switching Functions
• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• scientific article; zbMATH DE number 4133829 (Why is no real title available?)
• scientific article; zbMATH DE number 2172796 (Why is no real title available?)
• Output-size sensitiveness of OBDD construction through maximal independent set problem
• Randomized OBDD-based graph algorithms
• A purely map procedure for two-level multiple-output logic minimization
• Two-Level Multiple-Output Logic Minimization Using A Single Function
• Randomized OBDD-based graph algorithms
• Ordered binary decision diagrams as knowledge-bases
• Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions
• Reasoning with ordered binary decision diagrams

This page was built for publication:

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