Pages that link to "Item:Q1275068"
From MaRDI portal
The following pages link to Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs (Q1275068):
Displayed 3 items.
- Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance (Q844146) (← links)
- BDDs -- design, analysis, complexity, and applications. (Q1428568) (← links)
- Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication (Q2771493) (← links)