Results 231 to 240 of about 3,612,733 (245)

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

Reliability Engineering and System Safety, 2010
Antoine Rauzy
exaly  

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

Ordered binary decision diagrams as knowledge-bases

Artificial Intelligence, 2002
Takashi Horiyama
exaly  

Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

Lecture Notes in Computer Science, 2016
Jan Strejček, Martin Jonáš
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  

On the use of binary decision diagrams for solving problems on simple games

European Journal of Operational Research, 2012
exaly