×

找到25份文件(结果1-25)

使用量词验证SMT系统。 (英语) 兹比尔1522.68303

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 154-170 (2022).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 (英语) Zbl 1522.68716号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,ATVA 2022,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13505, 137-153 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过ASP分析循环故障传播。 (英语) Zbl 07671909号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 470-483 (2022).
MSC公司:68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在无限状态转换系统中自动发现公平路径。 (英语) Zbl 1497.68290号

Hou,Zhe(编辑)等,验证和分析自动化技术。第19届国际研讨会,2021年10月18日至22日,澳大利亚昆士兰州黄金海岸,ATVA 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12971, 32-47 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式动力系统的隐式半代数抽象。 (英语) Zbl 1493.68217号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 529-551 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过增量线性化优化模非线性算法。 (英语) Zbl 07497924号

Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12941, 213-231 (2021).
MSC公司:68泰克
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用无量词SMT推理对参数系统进行通用不变量检查。 (英语) Zbl 07437076号

AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12699, 131-147 (2021).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检验的反例指导预言模数为数组理论。 (英语) Zbl 1467.68089号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 113-132 (2021).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

启动要求的安全分解:验证和合成。 (英语) Zbl 1507.68180号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 155-172 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过使用EUF对LRA进行增量缩减,对NRA过渡系统进行不变量检查。 (英语) Zbl 1452.68116号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205,58-75(2017年)。
PDF格式BibTeX公司 XML格式引用

联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) Zbl 1344.68198号

Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,28-43(2016)。
MSC公司:68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用

SMT的随机局部搜索:结合理论求解器和WalkSAT。 (英语) Zbl 1348.68227号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,163-178(2011)。
MSC公司:68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

可满足模线性整数算法中的高效插值生成。 (英语) Zbl 1315.68179号

Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605143-157(2011)。
PDF格式BibTeX公司 XML格式引用

UTVPI的插值生成。 (英语) Zbl 1250.68186号

Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣款国际会议,2009年8月2日至7日,加拿大蒙特利尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,167-182(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可满足模理论中的有效插值生成。 (英语) Zbl 1134.68402号

Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日,作为欧洲软件理论和实践联合会议的一部分,第14届国际会议,TACAS 2008,在匈牙利布达佩斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963397-412(2008)。
MSC公司:60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份