J.Strother摩尔 介绍ATP社区的OBDD算法。 (英语) Zbl 0804.68136号 J.汽车。推理 12,第1号,33-45(1994).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Moore},J.Autom。推理12,No.1,33-45(1994;Zbl 0804.68136) 全文: 内政部
希普,马克·A。;默瑟,M.R。 OBDD大小的最小上限。 (英语) 兹比尔1033.68682 IEEE传输。计算。 43,第6期,764-767(1994).MSC公司:68单位07 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Heap}和\textit{M.R.Mercer},IEEE Trans。计算。43,第6号,764--767(1994;Zbl 1033.68682) 全文: 内政部