472 search results - page 11 / 95 » Functional simulation using binary decision diagrams |
83
Voted
ATVA
2010
Springer
15 years 24 days 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...
60
Voted
ICCD
1991
IEEE
15 years 3 months ago
1991
IEEE
CL
2000
Springer
14 years 11 months ago
2000
Springer
TC
1998
14 years 11 months ago
1998
101
click to vote
JSAT
2010
14 years 6 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...