×

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

最新的 引文 关联
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·利帕里尼；罗伯托·塞巴斯蒂亚尼

通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 （英语） 兹比尔1522.68716

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 137-153 (2022).
MSC公司：68伏15 55平方米 90立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。13505，137--153（2022；Zbl 1522.68716）
全文： 内政部 链接
基里恩·克莱默；安德鲁·雷诺兹；克拉克·巴雷特；塞萨尔·蒂内利

中求解非线性实数算法的协作技术cvc5公司SMT求解器（系统描述）。 （英语） Zbl 07628183号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 95-105 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Kremer}等人，Lect。注释计算。科学。13385，95-105（2022；Zbl 07628183）
全文： 内政部
哈尼尔·巴博萨；安德鲁·雷诺兹；基里恩·克莱默；汉娜·拉奇尼特；艾娜·尼梅茨；安德烈斯·诺兹利；亚历克斯·奥兹德米尔；马蒂亚斯·普雷纳；阿琼·维斯瓦纳坦；斯科特·维特里；尤尼·佐哈尔；塞萨尔·蒂内利；克拉克·巴雷特

在工业级SMT解决方案中进行灵活的验证生产。 （英语） Zbl 07628179号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 15-35 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Barbosa}等人，Lect。注释计算。科学。13385，15--35（2022；Zbl 07628179）
全文： 内政部
塞尔吉奥·莫弗；亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·伊尔凡；斯特凡诺·托内塔

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

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759，529-551（2021）。
MSC公司：60年第68季度 03B70号 34A34飞机
PDF格式BibTeX公司 XML格式引用
\textit{S.Mover}等人，Lect。注释计算。科学。12759529--551（2021；Zbl 1493.68217）
全文： 内政部
菲利波·比加雷拉；亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·伊尔凡；马丁·乔纳什；马可·罗维里；罗伯托·塞巴斯蒂亚尼；帕特里克·特伦丁

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

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941213-231（2021年）。
MSC公司：68次发射
PDF格式BibTeX公司 XML格式引用
\textit{F.Bigarella}等人，莱克特。注释计算。科学。12941、213--231（2021；Zbl 07497924）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

出版年份

全部的 前3名

主字段

全部的 前3名

软件