×

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

最新的 引文 关联
科尔·维克;肯尼思·麦克米兰。

为符号模型检查综合历史和预测变量。 （英语） Zbl 1529.68166号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881320-340（2023年）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Vick}和\textit{K.L.McMillan}，莱克特。注释计算。科学。13881320-340（2023年；Zbl 1529.68166）
全文： 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·利帕里尼;罗伯托·塞巴斯蒂亚尼

通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 （英语） Zbl 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 07596574号

日志。方法计算。科学。 18，第3号，第26号论文，28页（2022年）.
MSC公司：03B70号 68年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Mann}等人，《日志》。方法计算。科学。18，第3号，第26号论文，第28页（2022；Zbl 07596574）
全文： 内政部 arXiv公司
查克拉波蒂，苏普拉特克;阿什图什·古普塔;迪夫耶什·乌纳德卡特

差异：使用差分不变量对数组程序进行归纳推理。 （英语） Zbl 1493.68101号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 911-935 (2021).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}等人，Lect。注释计算。科学。12760、911--935（2021；Zbl 1493.68101）
全文： 内政部 arXiv公司
德扬·约瓦诺维奇;布鲁诺·杜特雷

非线性算法的插值和模型检查。 （英语） Zbl 1493.68212号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 266-288 (2021).
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Jovanović}和\textit{B.Dutertre}，莱克特。注释计算。科学。12760266--288（2021年；Zbl 1493.68212）
全文： 内政部 arXiv公司
塞尔吉奥·莫弗;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;斯特凡诺·托内塔

多项式动力系统的隐式半代数抽象。 （英语） 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）
全文： 内政部
菲律宾比格雷拉;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马丁·乔纳什;马可·罗维里;罗伯托·塞巴斯蒂亚尼;帕特里克·特伦汀

通过增量线性化优化模非线性算法。 （英语） 兹伯利07497924

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 213-231 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{F.Bigarella}等人，莱克特。注释计算。科学。12941、213--231（2021；Zbl 07497924）
全文： 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;吉安卢卡·雷东迪

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

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 131-147 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。12699、131--147（2021；Zbl 07437076）
全文： 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利

SMT求解器中的位宽度相关证明。 （英语） Zbl 07178987号

Fontaine，Pascal（编辑），《自动推导——CADE 27》。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 366-384 (2019).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Niemetz}等人，Lect。注释计算。科学。11716366-384（2019年；兹bl 07178987）
全文： 内政部 arXiv公司
布莱特，柯蒂斯;德拉戈米尔·奥科维奇。;伊利亚斯·科齐里亚斯;Ganesh，维杰

SAT+CAS组合搜索方法及其在最佳矩阵中的应用。 （英语） Zbl 1434.05001号

安。数学。Artif公司。智力。 87，第4号，321-342（2019）.
审核人：Ioan Tomescu（布库雷什蒂）
MSC公司：2004年5月 05B20号 68卢比 68T27型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Bright}等人，《数学年鉴》。Artif公司。智力。87，第4号，321--342（2019；Zbl 1434.05001）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

全部的 前3名

主字段

全部的 前3名

软件