QRAS—the quantitative risk assessment system

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

A Comparison of Three Methods for Selecting Values of Input Variables in the Analysis of Output from a Computer Code

Michael D. McKay, Richard J. Beckman, W. J. Conover · Technometrics · 2000 · 7.6K citations

Natural Sciences, Computer Science, Mathematics +17

A Comparison of Three Methods for Selecting Values of Input Variables in the Analysis of Output from a Computer Code

Michael D. McKay, Reginald Beckman, W. J. Conover · Technometrics · 1979 · 3.8K citations

Natural Sciences, Computer Science, Mathematics +17

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

Efficient implementation of a BDD package

Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text

Computing, Computer Engineering, Computer Science +17