×

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

最新的 引文 关联
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利

关于向量的推理：序列理论的可满足模。 （英语） Zbl 07753651号

J.汽车。推理 67，第3号，第32号论文，第34页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Sheng}等人，J.Autom。推理67，第3号，论文32，34页（2023；Zbl 07753651）
全文： 内政部
亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利

用非平凡常数合成程序。 （英语） Zbl 07702725号

J.汽车。推理 67，第2号，第19号论文，第25页（2023年）.
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725）
全文： 内政部
克雷默，杰伦;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利

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

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1338595-105（2022年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Kremer}等人，Lect。注释计算。科学。13385，95-105（2022；Zbl 07628183）
全文： 内政部
伯拉克·埃基奇;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特

SMTCoq：用于将SMT解算器集成到Coq中的插件。 （英语） Zbl 1494.68285号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 126-133 (2017).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ekici}等人，Lect。注释计算。科学。10427、126--133（2017年；Zbl 1494.68285）
全文： 内政部 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件