Sciweavers

1159 search results - page 15 / 232
» Binary Decision Graphs
Sort
View
TC
1998
15 years 4 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»
14 years 12 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