Pages that link to "Item:Q1016038"
From MaRDI portal
The following pages link to On threshold BDDs and the optimal variable ordering problem (Q1016038):
Displaying 8 items.
- azove (Q16804) (← links)
- Compact representations of all members of an independence system (Q513340) (← links)
- Power indices of simple games and vector-weighted majority games by means of binary decision diagrams (Q531446) (← links)
- Forms of representation for simple games: sizes, conversions and equivalences (Q898760) (← links)
- On the use of binary decision diagrams for solving problems on simple games (Q1926964) (← links)
- On finding the optimal BDD relaxation (Q2011572) (← links)
- Variable ordering for decision diagrams: a portfolio approach (Q2152280) (← links)
- Decision Diagrams for Discrete Optimization: A Survey of Recent Advances (Q5106421) (← links)