Formal Methods in System Design · 1997 · 260 citations · 17 references
ComputingComputer EngineeringComputer ScienceAlgorithmsLogicTheory Of ComputationBoolean AlgebraBoolean OperationsCombinational Logic DescriptionDeductive VerificationDigital Logic DesignLogic SynthesisBoolean Algebra In Circuit DesignBoolean FunctionsDigital Logic CircuitsFinite Boolean AlgebrasFormal Hardware VerificationFormal VerificationMatrix Multiplication
17
V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
Efficient implementation of a BDD package
Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text
Iain Duff, Roger G. Grimes, John G. Lewis · ACM Transactions on Mathematical Software · 1989 · 647 citations · Full text
The Mathematical Analysis of Logic.
J. C. C. McKinsey, George Boole · American Mathematical Monthly · 1950 · 449 citations