scientific article; zbMATH DE number 910866

zbMATH Open0858.94035MaRDI QIDQ4886040FDOQ4886040

Authors: Olivier Coudert 

Publication date: 28 July 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (17)

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

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)