Nummelin，签证;贾斯敏·布兰切特;Sander R.Dahmen。 自动扣除中的循环驱动总和。 （英语） Zbl 07842291号 Sattler，Uli（编辑）等人，《组合系统的前沿》。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14279年，23-40年（2023年）。理学硕士：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{V.Nummelin}等人，Lect。注释计算。科学。14279，23-40（2023；Zbl 07842291） 全文： 内政部 OA许可证
加布里埃尔·埃布纳;贾斯敏·布兰切特;索菲·托雷特 统一拆分。 （英语） Zbl 07702722号 J.汽车。推理 67，第2期，第16号论文，44页（2023年）.理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ebner}等人，J.Autom。推理67，第2期，第16号论文，第44页（2023；Zbl 07702722） 全文： 内政部 OA许可证
佩塔·武克米罗维奇;贾斯敏·布兰切特;马里恩·赫勒。 叠加的SAT激励抵消。 （英语） Zbl 07650603号 ACM事务处理。计算。日志。 24，第1号，第7条，第25页（2023年）.理学硕士：03B70型 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，ACM Trans。计算。日志。24，第1号，第7条，第25页（2023；Zbl 07650603） 全文： 内政部
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 使高阶叠加起作用。 （英语） Zbl 1512.68432号 J.汽车。推理 66，第4期，541-564（2022年）.理学硕士：68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，J.Autom。推理66，No.4，541--564（2022；Zbl 1512.68432） 全文： 内政部 哈尔
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，签证;索菲·托雷特 使高阶叠加起作用。 （英语） Zbl 1512.68431号 AndréPlatzer等人，《自动扣除——CADE 28》。第28届自动扣款国际会议，虚拟活动，2021年7月12-15日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12699, 415-432 (2021).理学硕士：68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，Lect。注释计算。科学。12699、415--432（2021；Zbl 1512.68431） 全文： 内政部 OA许可证
加布里埃尔·埃布纳;贾斯敏·布兰切特;索菲·托雷特 统一的拆分框架。 （英语） Zbl 07437088号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12699, 344-360 (2021).理学硕士：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ebner}等人，Lect。注释计算。科学。12699、344--360（2021；Zbl 07437088） 全文： 内政部 OA许可证
亚历山大·本特坎普;布兰切特，茉莉;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 （英语） 兹伯利07433023 J.汽车。推理 65，第7期，893-940（2021）.理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bentkamp｝等人，J.Autom。推理65，No.7，893--940（2021；Zbl 07433023） 全文： 内政部 OA许可证
哈尼尔·巴博萨;贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;帕斯卡·方丹 用于公式处理的可扩展细粒度证明。 （英语） Zbl 1468.68278号 J.汽车。推理 64，第3期，485-510（2020年）.理学硕士：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人，J.Autom。推理64，No.3，485--510（2020；Zbl 1468.68278） 全文： 内政部 哈尔
安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特 SMT求解器中（co）数据类型的决策过程。 （英语） Zbl 1410.68337号 J.汽车。推理 58，第3号，341-362（2017）.理学硕士：第68页第15页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}和\textit{J.C.Blanchette}，J.Autom。推理58，No.3，341--362（2017；Zbl 1410.68337） 全文： 内政部 哈尔
安德鲁·雷诺兹;布兰切特，贾斯敏·克里斯蒂安;西蒙·克鲁恩斯;塞萨尔·蒂内利 SMT中递归函数的模型查找。 （英语） Zbl 1475.68448号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9706, 133-151 (2016).理学硕士：68伏15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。9706133--151（2016；Zbl 1475.68448） 全文： 内政部 哈尔
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;马蒂亚斯·弗勒里;斯莫尔卡、斯蒂芬·朱尔夫;艾伯特·斯特克迈尔 机器生成证明的半不可分辨Isar证明。 （英语） Zbl 1356.68178号 J.汽车。推理 56，编号2155-200（2016）.理学硕士：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理56，No.2，155--200（2016；Zbl 1356.68178） 全文： 内政部 哈尔
安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特 SMT求解器中（co）数据类型的决策过程。 （英语） Zbl 1465.68297号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9195, 197-213 (2015).理学硕士：68伏15 03B25号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}和\textit{J.C.Blanchette}，莱克特。注释计算。科学。9195，197--213（2015；Zbl 1465.68297） 全文： 内政部 哈尔