472 search results - page 11 / 95 » Functional simulation using binary decision diagrams |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
ICCD
1991
IEEE
13 years 11 months ago
1991
IEEE
CL
2000
Springer
13 years 7 months ago
2000
Springer
TC
1998
13 years 7 months ago
1998
JSAT
2010
13 years 2 months ago
2010
Groote and Zantema proved that a particular OBDD computation of the pigeonhole formula has exponential size, and that limited OBDD derivations cannot simulate resolution polynomia...