Graph-based algorithms for Boolean function manipulation. (English) Zbl 0593.94022

Bryant, Randal E.

IEEE Trans. Comput. 35, 677-691 (1986).

MSC:

94C10	Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
94C15	Applications of graph theory to circuits and networks
68W30	Symbolic computation and algebraic computation
68Q25	Analysis of algorithms and problem complexity

Keywords:

data structure for representing Boolean functions; directed, acyclic graphs; time complexity; logic design verification

Citations:

Zbl 0377.94038