×
Randal E.布莱恩特。

布尔函数操作的基于图形的算法。 （英语） Zbl 0593.94022号

IEEE传输。计算。 35677-691（1986年）.

引用于11评论
引用于546文件

MSC公司：

94立方厘米10 交换理论，布尔代数的应用；布尔函数（MSC2010）
94C15号机组 图论在电路和网络中的应用
68瓦30 符号计算和代数计算
65年第68季度 算法和问题复杂性分析

关键词：

表示布尔函数的数据结构；有向、非循环图；时间复杂性；逻辑设计验证

引文：

Zbl 0377.94038号
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}，IEEE Trans。计算。35、677--691（1986年；Zbl 0593.94022）
全文： 内政部