Sciweavers

1159 search results - page 15 / 232
» Binary Decision Graphs
Sort
View
96
Voted
ISR
2007
15 years 3 months ago
Decision-Centric Active Learning of Binary-Outcome Models
Maytal Saar-Tsechansky, Foster J. Provost
108
Voted
CL
2000
Springer
15 years 3 months ago
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
Steffen Hölldobler, Hans-Peter Störr
105
Voted
TC
1998
15 years 3 months ago
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...
131
Voted
JSAT
2010
158views more  JSAT 2010»
14 years 10 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