Pages that link to "Item:Q5929919"
From MaRDI portal
The following pages link to Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems (Q5929919):
Displaying 24 items.
- Worst case examples for operations on OBDDs (Q294746) (← links)
- On the OBDD representation of some graph classes (Q317396) (← links)
- On the minimization of (complete) ordered binary decision diagrams (Q503467) (← links)
- String-matching with OBDDs (Q596086) (← links)
- On approximation by \(^{\oplus}\)-OBDDs (Q845954) (← links)
- On the size of (generalized) OBDDs for threshold functions (Q987805) (← links)
- Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs (Q1275068) (← links)
- Reduction of OBDDs in linear time (Q1313758) (← links)
- Introduction to the OBDD algorithm for the ATP community (Q1332638) (← links)
- Exponential space complexity for OBDD-based reachability analysis (Q1675755) (← links)
- Exact OBDD bounds for some fundamental functions (Q1959388) (← links)
- Minimization problems for parity OBDDs (Q2272213) (← links)
- On the error resilience of ordered binary decision diagrams (Q2354761) (← links)
- Better upper bounds on the QOBDD size of integer multiplication (Q2370421) (← links)
- A simpler counterexample to a long-standing conjecture on the complexity of Bryant's apply algorithm (Q2445400) (← links)
- Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard (Q3591326) (← links)
- On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem (Q3599068) (← links)
- On the Influence of the State Encoding on OBDD-Representations of Finite State Machines (Q4256140) (← links)
- On the Complexity of the Hidden Weighted Bit Function for Various BDD Models (Q4265532) (← links)
- On the hardness of approximating the minimum consistent OBDD problem (Q5054808) (← links)
- (Q5090465) (← links)
- Exact OBDD Bounds for Some Fundamental Functions (Q5448645) (← links)
- Output-size sensitiveness of OBDD construction through maximal independent set problem (Q6085711) (← links)
- OBDDs of a monotone function and of its prime implicants (Q6487433) (← links)
