Graph-based algorithms for Boolean function manipulation (1986)

by Randal E. Bryant
Venue:IEEE Transactions on Computers
Citations:2921 - 46 self

Active Bibliography

58 Symbolic manipulation of boolean functions using a graphical representation – Randal E. Bryant - 1985
56 Models of Computation -- Exploring the Power of Computing – John E. Savage
13 Forward and inverse transformations between Haar spectra and ordered binary decision diagrams of Boolean functions – Bogdan J. Falkowski, Senior Member, Chip-hong Chang, Student Member - 1997
232 On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication – Randal E. Bryant - 1998
3 DDBDD: Delay-driven BDD synthesis for FPGAs – Lei Cheng, Deming Chen, Martin D. F. Wong
5 A Survey of Techniques for Formal Verification of Combinational Circuits – Jawahar Jain, et al. - 1997
874 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
Galois Field Circuits and Realization of Multiple-Valued Logic Functions – Zeljko Zilic - 1993
45 Bottom-Up Induction of Oblivious Read-Once Decision Graphs – Ron Kohavi - 1994
Evolvability via modularity-induced mutational focussing – Richard M. Downing
11 Factored Edge-Valued Binary Decision Diagrams and their Application to Matrix Representation and Manipulation – Paul Tafertshofer - 1994
4 Distributed Binary Decision Diagrams for Verification of Large Circuits – Craig Chase, Dinos Moundanos, Contact Person, Prakash Arunachalam Craig, Prakash Arunachalam - 1996
6 Cyclic Combinational Circuits – Marc D. Riedel - 2004
6 Minimizing ROBDD Sizes of Incompletely Specified Boolean Functions by Exploiting Strong Symmetries – Christoph Scholl, Stephan Melchior, G√ľnter Hotz, Paul Molitor - 1997
8 Representing Boolean Functions with If-Then-Else DAGs – Kevin Karplus - 1988
13 Symbolic Verification of MOS Circuits – Randal E. Bryant - 1985
125 Algorithms for the Satisfiability (SAT) Problem: A Survey – Jun Gu, Paul W. Purdom, John Franco, Benjamin W. Wah - 1996
77 Special Purpose Parallel Computing – W.F. McColl - 1993
13 A time domain approach for avoiding crosstalk in optical blocking multistage interconnection networks – Chunming Qiao, Rami Georges Melhem, Donald M. Chiarulli, Steven P. Levitan - 1994