Pages that link to "Item:Q1854498"
From MaRDI portal
The following pages link to The nonapproximability of OBDD minimization (Q1854498):
Displaying 5 items.
- Linear temporal logic symbolic model checking (Q465680) (← links)
- On the minimization of (complete) ordered binary decision diagrams (Q503467) (← links)
- Weighted \(A^*\) search - unifying view and application (Q840833) (← links)
- Representation of graphs by OBDDs (Q1003666) (← links)
- Ordered binary decision diagrams and the Shannon effect (Q1878402) (← links)
