彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 (英语) Zbl 1522.68142号 形式方法系统。设计。 57,第2期,121-156(2021).MSC公司:68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人,《形式方法系统》。设计。57,编号2,121--156(2021;Zbl 1522.68142) 全文: 内政部
菲利普·吕默 竞赛报告:CHC-COMP-20。 (英语) Zbl 07453201号 Fribourg,Laurent(ed.)等人,第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录,VPT/HCVS 2020,爱尔兰都柏林,2020年4月25日至26日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)320,197-219(2020)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.吕默},电子。程序。西奥。计算。科学。(EPTCS)320、197--219(2020;Zbl 07453201) 全文: arXiv公司 链接
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 (英语) Zbl 1409.68265号 J.汽车。推理 58,第1期,127-147(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,J.奥托姆。推理58,No.1,127--147(2017;Zbl 1409.68265) 全文: 内政部 链接
Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 用mcSAT确定位向量公式。 (英语) Zbl 1475.68226号 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 249-266 (2016).MSC公司:68兰特 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,Lect。注释计算。科学。9710,249--266(2016;Zbl 1475.68226) 全文: 内政部
杰罗姆·勒鲁;菲利普·吕默;Subotić,帕夫勒 使用特定领域的抽象指导Craig插值。 (英语) Zbl 1344.68139号 学报信息。 53,第4期,387-424(2016).MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人,《信息学报》53,第4期,387--424(2016;Zbl 1344.68139) 全文: 内政部 链接
菲利普·吕默;侯赛因·霍贾特;维克多·昆卡 关于无递归Horn子句和Craig插值。 (英语) Zbl 1322.68134号 形式方法系统。设计。 47,第1号,1-25(2015).MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}等人,《形式方法系统》。设计。47,第1号,1-25(2015;Zbl 1322.68134) 全文: 内政部
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 无量词Presburger算法的插值序列演算。 (英语) Zbl 1259.03043号 J.汽车。推理 47,编号341-367(2011).MSC公司:03B70号 03C40号 07年3月 30楼03号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人,J.Autom。推理47,No.4,341--367(2011;Zbl 1259.03043) 全文: 内政部 链接
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·沃尔 无量词Presburger算法的插值序列演算。 (英语) Zbl 1291.03112号 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,384-399(2010)。MSC公司:30楼03号 03B35型 03C40号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人,Lect。注释计算。科学。6173384--399(2010年;Zbl 1291.03112) 全文: 内政部