贝特·博利格;Niko系列;英戈·韦格纳 一些基本函数的精确OBDD边界。 （英语） Zbl 1204.68076号 理论计算。系统。 47，第2期，593-609（2010）.MSC公司：68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，理论计算。系统。47，第2号，593--609（2010；Zbl 1204.68076） 全文： 内政部
贝特·博利格;Niko系列;英戈·韦格纳 一些基本函数的精确OBDD边界。（扩展摘要）。 （英语） Zbl 1132.68347号 Geffert，Viliam（编辑）等人，SOFSEM 2008：计算机科学的理论与实践。2008年1月19日至25日，斯洛伐克斯莫科韦茨，第34届计算机科学理论和实践趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77565-2/pbk）。计算机科学课堂讲稿4910174-185（2008）。MSC公司：68第05页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，Lect。注释计算。科学。4910174-185（2008年；Zbl 1132.68347） 全文： 内政部