Pages that link to "Item:Q4617985"
From MaRDI portal
The following pages link to A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (Q4617985):
Displaying 5 items.
- MC/DC test cases generation based on BDDs (Q2154030) (← links)
- On the Width of Ordered Binary Decision Diagrams (Q2942417) (← links)
- A reducibility concept for problems defined in terms of ordered binary decision diagrams (Q5047173) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463959) (← links)
- Correct Hardware Design and Verification Methods (Q5897079) (← links)