100 search results - page 1 / 20 » Combination of Lower Bounds in Exact BDD Minimization |
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
ASPDAC
2004
ACM
13 years 10 months ago
2004
ACM
DAC
1999
ACM
13 years 9 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
CPAIOR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...