Pages that link to "Item:Q1570838"
From MaRDI portal
The following pages link to Optimal ordered binary decision diagrams for read-once formulas (Q1570838):
Displaying 6 items.
- On the effect of local changes in the variable ordering of ordered decision diagrams (Q671612) (← links)
- Reduction of OBDDs in linear time (Q1313758) (← links)
- BDDs -- design, analysis, complexity, and applications. (Q1428568) (← links)
- Using ordered binary decision diagrams to factorize multi-level logic (Q1922609) (← links)
- Ordered binary decision diagrams and minimal trellises (Q4571421) (← links)
- A reducibility concept for problems defined in terms of ordered binary decision diagrams (Q5047173) (← links)