Results 221 to 230 of about 3,612,733 (245)

Binary Decision Diagrams

2010
Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener   +3 more
openaire   +2 more sources

Binary Decision Diagrams

2017
Alberto Pliego Marugán, Fausto Pedro García Márquez   +1 more
openaire   +1 more source

Adiar Binary Decision Diagrams in External Memory

Lecture Notes in Computer Science, 2022
Steffan Sølvsten, Jaco van de Pol
exaly  

Symbolic Boolean manipulation with ordered binary-decision diagrams

ACM Computing Surveys, 1992
Randal Bryant
exaly  

Optimal decision-making via binary decision diagrams for investments under a risky environment

International Journal of Production Research, 2017
Benjamin Lev, Alberto Pliego Marugán
exaly  

Binary Decision Diagrams

1998
Rolf Drechsler, Bernd Becker
openaire   +1 more source

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

Reliability Engineering and System Safety, 2010
Antoine Rauzy
exaly  

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams

ACM Transactions on Computational Logic, 2019
Jim Newton, Didier Verna
exaly  

Formal verification using edge-valued binary decision diagrams

IEEE Transactions on Computers, 1996
Massoud Pedram, S B K Vrudhula
exaly  

Assessment of redundant systems with imperfect coverage by means of binary decision diagrams

Reliability Engineering and System Safety, 2008
Antoine Rauzy
exaly