马蒂亚斯·普雷纳;艾娜·尼梅茨;阿明·比尔 反例引导的模型合成。 （英语） Zbl 1452.68122号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 264-280 (2017).MSC公司：第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Preiner}等人，Lect。注释计算。科学。10205、264--280（2017；Zbl 1452.68122） 全文： 内政部
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 （英语） 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） 全文： 内政部
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 bv2epr：将无量词位向量公式多项式转换为EPR的工具。 （英语） Zbl 1382.68217号 Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。人工智能课堂讲稿，443-449（2013）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人，Lect。注释计算。科学。7898、443--449（2013年；Zbl 1382.68217） 全文： 内政部
罗伯特·布鲁迈耶;弗洛里安·朗辛;阿明·比尔 SAT和QBF解算器的自动测试和调试。 （英语） Zbl 1306.68155号 Strichman，Ofer（ed.）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学课堂讲稿6175，44-57（2010）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brummayer}等人，Lect。注释计算。科学。6175、44-57（2010年；Zbl 1306.68155） 全文： 内政部
罗伯特·布鲁迈耶;阿明·比尔 数组扩展理论所需的引理。 （英语） Zbl 1187.68168号 J.满意。布尔模型。计算。 6，编号1-3，165-201（2009）.MSC公司：68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brummayer}和\textit{A.Biere}，J.Satisfe。布尔模型。计算。6、编号1--3、165-201（2009；Zbl 1187.68168）