×

找到8个文档（结果1-8）

最新的 引文 相关性
尼尔斯·洛曼;费比安·梅耶;吉尔根·吉斯尔

基于三角弱非线性循环的整数程序复杂性自动分析。 （英语） Zbl 07628219号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 734-754 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.Lommen}等人，Lect。注释计算。科学。13385，734--754（2022；Zbl 07628219）
全文： DOI程序 arXiv公司
弗罗恩，弗洛里安;吉尔根·吉斯尔

用证明非终止和运行时下限陆军部（系统描述）。 （英语） Zbl 07628217号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385712-722（2022）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.Frohn}和\textit{J.Giesl}，莱克特。注释计算。科学。13385、712--722（2022；Zbl 07628217）
全文： DOI程序
艾尔维拉·阿尔伯特;萨米尔·根奈姆;恩里克·马丁·马汀;艾丽西亚·梅拉约;阿尔伯特·鲁比奥

使用回路专门化和Max-SMT的下限合成。 （英语） Zbl 1493.68098号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 863-886 (2021).
MSC公司：68号30 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。注释计算。科学。12760863--886（2021年；Zbl 1493.68098）
全文： DOI程序
弗罗恩，弗洛里安

模块化循环加速的微积分。 （英语） Zbl 1507.68087号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 58-76 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Frohn}，莱克特。注释计算。科学。12078，58--76（2020；Zbl 1507.68087）
全文： DOI程序 arXiv公司
吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗罗恩，弗洛里安;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼

使用自动分析程序终止和复杂性AProVE公司. （英语） Zbl 1409.68255号

J.汽车。推理 58，第1期，3-31（2017）.
MSC公司：68吨15 68甲15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Giesl}等人，J.Autom。推理58，No.1，3--31（2017；Zbl 1409.68255）
全文： DOI程序
弗罗恩。;M.纳夫。;亨塞尔，J。;布罗克施米特，M。;J·吉斯尔。

整数程序的运行时下限。 （英语） Zbl 1475.68134号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 550-567 (2016).
MSC公司：2017年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Frohn}等人，Lect。注释计算。科学。9706550-567（2016；Zbl 1475.68134）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件