Design of experiments and evaluation of BDD ordering heuristics

A Mathematical Theory of Communication

Claude E. Shannon · Bell System Technical Journal · 1948 · 80.7K citations

Engineering, Communication, Electrical Engineering +11

Combinational profiles of sequential benchmark circuits

F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations

Engineering, Computer Engineering, Computer Science +17

Multiple Comparisons: Theory and Methods

Ronald Christensen, Jason C. Hsu · Technometrics · 1997 · 1.1K citations

Social Sciences, Educational Measurement, Psychometrics +5

Statistical Theory and Methodology in Science and Engineering

E. Keith Lloyd, K. A. Brownlee · Technometrics · 1961 · 1K citations

Natural Sciences, Mathematics, Statistical Modeling +11

Dynamic variable ordering for ordered binary decision diagrams

Richard Rudell · International Conference on Computer Aided Design · 1993 · 851 citations

Engineering, Computer Engineering, Computer Science +16