Recommendations
Cited in
(15)- scientific article; zbMATH DE number 1929956 (Why is no real title available?)
- On the computational power of binary decision diagram with redundant variables.
- Efficient Boolean manipulation with OBDD's can be extended to FBDD's
- Ordered binary decision diagrams and the Shannon effect
- scientific article; zbMATH DE number 874494 (Why is no real title available?)
- scientific article; zbMATH DE number 1670772 (Why is no real title available?)
- On the Complexity of the Hidden Weighted Bit Function for Various BDD Models
- A comparison of free BDDs and transformed BDDs
- On the effect of local changes in the variable ordering of ordered decision diagrams
- On the relation between BDDs and FDDs (extended abstract)
- Free binary decision diagrams for the computation of \(\text{EAR}_{ n }\)
- Variable shift SDD: a more succinct sentential decision diagram
- OKFDDs versus OBDDs and OFDDs
- BDD-based Boolean functional synthesis
- scientific article; zbMATH DE number 1948534 (Why is no real title available?)
This page was built for publication: On the relation between BDDs and FDDs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1908345)
