×

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


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

Citations:

Zbl 0377.94038
PDF BibTeX XML Cite
Full Text: DOI