Pages that link to "Item:Q4705323"
From MaRDI portal
The following pages link to Variable orderings and the size of OBDDs for random partially symmetric Boolean functions (Q4705323):
Displaying 6 items.
- The nonapproximability of OBDD minimization (Q1854498) (← links)
- Ordered binary decision diagrams and the Shannon effect (Q1878402) (← links)
- On the influence of the variable ordering for algorithmic learning using OBDDs (Q2568437) (← links)
- On the structure of counterexamples to symmetric orderings for BDD's (Q2841260) (← links)
- On random orderings of variables for parity ordered binary decision diagrams (Q4487092) (← links)
- Partially Symmetric Functions Are Efficiently Isomorphism Testable (Q5252692) (← links)