Graph-Based Algorithms for Boolean Function Manipulation

Bryant Bryant
1986 IEEE Transactions on Computers 8,815 citations

Abstract

Computer Science Department

Keywords

Boolean functionComputer scienceAnd-inverter graphAlgorithmExponential functionGraphTheoretical computer scienceBoolean circuitMathematics

Affiliated Institutions

Related Publications

Quantum circuit complexity

We propose a complexity model of quantum circuits analogous to the standard (acyclic) Boolean circuit model. It is shown that any function computable in polynomial time by a qua...

2002 Proceedings of 1993 IEEE 34th Annual ... 633 citations

Publication Info

Year
1986
Type
article
Volume
C-35
Issue
8
Pages
677-691
Citations
8815
Access
Closed

External Links

Social Impact

Social media, news, blog, policy document mentions

Citation Metrics

8815
OpenAlex

Cite This

Bryant (1986). Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers , C-35 (8) , 677-691. https://doi.org/10.1109/tc.1986.1676819

Identifiers

DOI
10.1109/tc.1986.1676819