Boolean expression diagrams

DOI10.1006/INCO.2001.2948MaRDI QIDQ2506489zbMATH OpenOpenAlexFDO

Authors Henrik Reif Andersen, Henrik Hulgaard

Publication date 10 October 2006

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/1c89c3387aafb26ced357512afe02a77b8730b9f

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Formal verification based on Boolean expression diagrams
• scientific article; zbMATH DE number 1701749
• scientific article; zbMATH DE number 910734
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 1390338

Cites work

• Efficient Boolean manipulation with OBDD's can be extended to FBDD's
• Graph driven BDDs -- a new data structure for Boolean functions
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1142303 (Why is no real title available?)
• scientific article; zbMATH DE number 3449757 (Why is no real title available?)
• scientific article; zbMATH DE number 846270 (Why is no real title available?)
• On the complexity of branching programs and decision trees for clique functions

Cited in

(6)

• Bypassing BDD construction for reliability analysis
• Verification of arithmetic circuits using binary moment diagrams
• Formal verification based on Boolean expression diagrams
• scientific article; zbMATH DE number 1701749 (Why is no real title available?)
• A Subatomic Proof System for Decision Trees
• Deciding effectively propositional logic using DPLL and substitution sets

This page was built for publication: Boolean expression diagrams

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