马蒂亚斯·弗勒里;阿明·比尔 Kissat with Kittens中的采矿定义。 （英语） Zbl 07757155号 形式方法系统。设计。 60，编号3，381-404（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Fleury}和\textit{A.Biere}，《形式方法系统》。设计。60，编号3，381--404（2022；Zbl 07757155） 全文： DOI程序 OA许可证
于，艾米丽;阿明·比尔;凯乔·赫尔扬科 验证硬件模型检查结果的进度。 （英语） Zbl 1493.68225号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 363-386 (2021).MSC公司：60年第68季度 2007年8月 PDF格式BibTeX公司 XML格式引用 \textit{E.Yu}等人，Lect。注释计算。科学。12760363--386（2021年；Zbl 1493.68225） 全文： DOI程序
李·巴奈特（Lee A.Barnett）。;阿明·比尔 非子句冗余属性。 （英语） Zbl 07437083号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 252-272 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Barnett}和\textit{A.Biere}，莱克特。注释计算。科学。12699、252--272（2021；Zbl 07437083） 全文： DOI程序
李·巴奈特（Lee A.Barnett）。;戴维·塞尔纳;阿明·比尔 涵盖的条款并非传播冗余。 （英语） Zbl 07614505号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 32-47 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛L.A.Barnett｝等人，Lect。注释计算。科学。12166，32-47（2020；Zbl 07614505） 全文： DOI程序
Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 强大的无扩展证明系统。 （英语） Zbl 1468.03011号 J.汽车。推理 64，第3期，533-554（2020年）.MSC公司：03B35型 20层03 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}等人，J.Autom。推理64，No.3，533--554（2020；Zbl 1468.03011） 全文： DOI程序
本杰明·基尔;Heule，Marijn J.H。;阿明·比尔 作为条件自给自足的真理赋值。 （英语） Zbl 1437.68132号 Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 48-64 (2019).MSC公司：68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Kiesl}等人，Lect。注释计算。科学。11781、48-64（2019年；Zbl 1437.68132） 全文： DOI程序
阿明·比尔;丹尼尔·科宁 基于SAT的模型检查。 （英语） Zbl 1392.68232号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。277-303 (2018).MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}和\textit{D.Kröning}，in：模型检查手册。查姆：斯普林格。277--303（2018；Zbl 1392.68232） 全文： DOI程序
马蒂亚斯·普雷纳;艾娜·尼梅茨;阿明·比尔 反例引导的模型合成。 （英语） Zbl 1452.68122号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 264-280 (2017).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Preiner}等人，Lect。注释计算。科学。10205、264--280（2017；Zbl 1452.68122） 全文： DOI程序
艾娜·尼梅茨;马蒂亚斯·普雷纳;阿明·比尔 基于传播的局部搜索，用于位精确推理。 （英语） 兹比尔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） 全文： DOI程序
Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 QBF预处理的解决方案验证和提取。 （英语） Zbl 1409.68258号 J.汽车。推理 58，第1号，97-125（2017）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.H.Heule}等人，J.Autom。推理58，No.1，97--125（2017；Zbl 1409.68258） 全文： DOI程序
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 （英语） 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） 全文： DOI程序