Randal E.布莱恩特。 二进制和零抑制决策图的链约简。 (英语) Zbl 1468.68080号 J.汽车。推理 64,第7期,1361-1391(2020).MSC公司:68第05页 68周05 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant},J.Autom。推理64,No.7,1361--1391(2020;Zbl 1468.68080) 全文: 内政部 arXiv公司
托马斯·布雷班特;雅克·亨利·乔尔丹;大卫·蒙尼厄 在Coq中实现和推理哈希加密数据结构。 (英语) Zbl 1314.68273号 J.汽车。推理 53,第3期,271-304(2014).MSC公司:68吨15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Braibant}等人,J.Autom。推理53,No.3,271--304(2014;Zbl 1314.68273) 全文: 内政部 arXiv公司 哈尔
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) 全文: 内政部