646 search results - page 24 / 130 » Hybrid decision diagrams |
149
click to vote
TC
1998
15 years 5 months ago
1998
—Many modern Field Programmable Logic Arrays (FPGAs) use lookup table (LUT) logic blocks which can be programmed to realize any function of a fixed number of inputs. It is possib...
163
click to vote
JSAT
2010
15 years 26 days 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...