艾娜·尼梅茨;马蒂亚斯·普雷纳;阿明·比尔 基于传播的比特精确推理局部搜索。 （英语） Zbl 1377.68134号 形式方法系统。设计。 51，第3号，608-636（2017）.MSC公司：60年第68季度 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人，《形式方法系统》。设计。51，第3号，608--636（2017；Zbl 1377.68134） 全文： 内政部 OA许可证
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 （英语） Zbl 1357.68086号 理论计算。系统。 59，第2期，323-376（2016）.MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人，《理论计算》。系统。59，第2号，323--376（2016；Zbl 1357.68086） 全文： 内政部
托尼·尤西拉;阿明·比尔 使用QBF压缩BMC编码。 （英语） Zbl 1277.68136号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，45-56（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Jussila}和\textit{A.Biere}，电子。注释Theor。计算。科学。174，第3号，45-56（2007；Zbl 1277.68136） 全文： 内政部