艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 （英语） Zbl 07433026号 J.汽车。推理 65，第7号，1001-1025（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人，J.Autom。推理65，No.7，1001--1025（2021；Zbl 07433026） 全文： 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 SMT求解器中的位宽度相关证明。 （英语） Zbl 07178987号 Fontaine，Pascal（编辑），《自动推导——CADE 27》。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 366-384 (2019).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人，Lect。注释计算。科学。11716366-384（2019年；兹bl 07178987） 全文： 内政部 arXiv公司
马蒂亚斯·普雷纳;艾娜·尼梅茨;阿明·比尔 反例引导的模型合成。 （英语） 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） 全文： 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;阿明·比尔 基于传播的比特精确推理局部搜索。 （英语） 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） 全文： 内政部