贝努伊特Caillaud；马蒂亚斯·马兰丹；琼·蒂博 多模DAE系统的隐式结构分析。 （英语） Zbl 07300861号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Caillaud}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第20条，第11页（2020；Zbl 07300861） 全文： 内政部 哈尔
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公司
贝特·博利格；马蒂亚斯·巴特库斯 关于结构化（确定性）DNNF的局限性。 （英语） Zbl 1446.68152号 理论计算。系统。 64，第5号，799-825（2020）.MSC公司：68立方英尺 68第05页 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bollig｝和\textit｛M.Buttkus｝，理论计算。系统。64，第5号，799--825（2020；Zbl 1446.68152） 全文： 内政部