Results 191 to 200 of about 248 (214)

Adiar Binary Decision Diagrams in External Memory

Lecture Notes in Computer Science, 2022
Steffan Sølvsten, J C Van De Pol
exaly  

Binary Decision Diagrams

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

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 Marugan
exaly  

Binary Decision Diagrams

1998
Rolf Drechsler, Bernd Becker
openaire   +1 more source

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  

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  

A reliability analysis method using binary decision diagrams in phased mission planning

Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 2009
Sean Reed, Rasa Remenyte-Prescott, J D Andrews   +2 more
exaly  

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

ACM SIGPLAN Notices, 2004
John Whaley, Mónica S Lam, Lammonica S   +2 more
exaly