艾娜·尼梅茨;马蒂亚斯·普雷纳;阿明·比尔 基于传播的比特精确推理局部搜索。 (英语) 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) 全文: 内政部