×

zbMATH — the first resource for mathematics

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
PDF BibTeX XML Cite
Full Text: DOI