Pages that link to "Item:Q1587372"
From MaRDI portal
The following pages link to An improved hierarchy result for partitioned BDDs (Q1587372):
Displaying 7 items.
- Width hierarchy for \(k\)-OBDD of small width (Q748240) (← links)
- Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance (Q844146) (← links)
- Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines. (Q1401957) (← links)
- On domain-partitioning induction criteria: worst-case bounds for the worst-case based (Q1885908) (← links)
- On the hierarchies for deterministic, nondeterministic and probabilistic ordered read-\(k\)-times branching programs (Q2361671) (← links)
- A hierarchy result for read-once branching programs with restricted parity nondeterminism (Q2566039) (← links)
- Formal Methods in Computer-Aided Design (Q5492995) (← links)