Results 251 to 260 of about 9,213 (262)

Extended resolution simulates binary decision diagrams

Discrete Applied Mathematics, 2008
Nicolas Peltier
exaly  

Binary decision diagrams

2004
openaire   +1 more source

Binary Decision Diagrams

2003
openaire   +1 more source

A reduction approach to improve the quantification of linked fault trees through binary decision diagrams

Reliability Engineering and System Safety, 2010
Antoine Rauzy
exaly  

Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

Lecture Notes in Computer Science, 2016
Jan Strejček, Martin Jonas, Jonas Martin   +2 more
exaly  

Binary decision diagrams for first-order predicate logic

The Journal of Logic and Algebraic Programming, 2003
Jan Friso Groote
exaly  

A fault tree analysis strategy using binary decision diagrams

Reliability Engineering and System Safety, 2002
exaly  

Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2008
exaly  

Ordered Binary Decision Diagrams

2002
Randal E. Bryant, Christoph Meinel
openaire   +1 more source

Partial binary decision diagrams

M A Thornton
exaly