Pages that link to "Item:Q4419798"
From MaRDI portal
The following pages link to The size of reduced OBDD's and optimal read-once branching programs for almost all Boolean functions (Q4419798):
Displaying 5 items.
- On the minimization of (complete) ordered binary decision diagrams (Q503467) (← links)
- Forms of representation for simple games: sizes, conversions and equivalences (Q898760) (← links)
- Randomized OBDD-based graph algorithms (Q1625606) (← links)
- Ordered binary decision diagrams and the Shannon effect (Q1878402) (← links)
- On the use of binary decision diagrams for solving problems on simple games (Q1926964) (← links)
