Efficient Boolean manipulation with OBDD's can be extended to FBDD's

DOI10.1109/12.324545zbMATH Open1063.68573OpenAlexW2138273756MaRDI QIDQ4419787FDOQ4419787

Christoph Meinel, Jordan Gergov

Publication date: 1994

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.324545

Recommendations

• On the relation between BDDs and FDDs
• On the relation between BDDs and FDDs (extended abstract)
• Graph-Based Algorithms for Boolean Function Manipulation
• Graph driven BDDs -- a new data structure for Boolean functions
• scientific article; zbMATH DE number 1948534

Mathematics Subject Classification ID

Data structures (68P05) Computer system organization (68M99)

Cited In (20)

• Title not available (Why is that?)
• On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
• Complexity Theoretical Results on Nondeterministic Graph-driven Read-Once Branching Programs
• On the evolution of the worst-case OBDD size
• The complexity of minimizing and learning OBDDs and FBDDs
• Completeness and non-completeness results with respect to read-once projections
• A very simple function that requires exponential size read-once branching programs.
• Parity OBDDs cannot be handled efficiently enough
• Formal verification based on Boolean expression diagrams
• Boolean expression diagrams
• On the relation between BDDs and FDDs
• Minimization problems for parity OBDDs
• Parity graph-driven read-once branching programs and an exponential lower bound for integer multiplication
• Knowledge compilation meets database theory: compiling queries to decision diagrams
• Application of BDDs in Boolean matching techniques for formal logic combinational verification
• A very simple function that requires exponential size nondeterministic graph-driven read-once branching programs
• Restricted nondeterministic read-once branching programs and an exponential lower bound for integer multiplication
• Feature necessity \& relevancy in ML classifier explanations
• AND/OR search spaces for graphical models
• BDDs -- design, analysis, complexity, and applications.

This page was built for publication: Efficient Boolean manipulation with OBDD's can be extended to FBDD's

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