Results 201 to 210 of about 248 (214)

Binary decision diagrams

2004
openaire   +1 more source

Binary Decision Diagrams

2003
openaire   +1 more source

Ordered binary decision diagrams as knowledge-bases

Artificial Intelligence, 2002
Takashi Horiyama
exaly  

Extended resolution simulates binary decision diagrams

Discrete Applied Mathematics, 2008
Nicolas Peltier
exaly  

Hybrid approach for the assessment of PSA models by means of binary decision diagrams

Reliability Engineering and System Safety, 2010
Antoine Rauzy
exaly  

A fault tree analysis strategy using binary decision diagrams

Reliability Engineering and System Safety, 2002
exaly  

Assessment of large automatically generated fault trees by means of binary decision diagrams

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

On Aligning Non-Order-Associated Binary Decision Diagrams

INFORMS Journal on Computing
Cole Smith, Alexey Bochkarev
exaly  

Ordered Binary Decision Diagrams

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

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