The following pages link to (Q2754143):
Displaying 9 items.
- Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs (Q1275068) (← links)
- Introduction to the OBDD algorithm for the ATP community (Q1332638) (← links)
- BDDs -- design, analysis, complexity, and applications. (Q1428568) (← links)
- Exponential space complexity for OBDD-based reachability analysis (Q1675755) (← links)
- Minimization problems for parity OBDDs (Q2272213) (← links)
- Bounds on the OBDD-size of integer multiplication via universal hashing (Q2575837) (← links)
- Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard (Q3591326) (← links)
- On the hardness of approximating the minimum consistent OBDD problem (Q5054808) (← links)
- Output-size sensitiveness of OBDD construction through maximal independent set problem (Q6085711) (← links)