Sciweavers

1159 search results - page 15 / 232
» Binary Decision Graphs
Sort
View
TC
1998
13 years 7 months ago
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...
JSAT
2010
158views more  JSAT 2010»
13 years 2 months ago
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond
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...
Olga Tveretina, Carsten Sinz, Hans Zantema