×

找到20个文档（结果1–20）

最新的 引文 关联
哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特

在工业级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 07437077号

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

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。注释计算。科学。11716、366--384（2019；Zbl 07178987）
全文： 内政部 arXiv公司
哈尼尔·巴博萨;安德鲁·雷诺兹;丹尼尔·乌拉乌伊;塞萨尔·蒂内利;克拉克·巴雷特

将SMT求解器扩展到高阶逻辑。 （英语） Zbl 07178968号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 35-54 (2019).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Barbosa}等人，Lect。注释计算。科学。11716，35-54（2019；Zbl 07178968）
全文： 内政部 哈尔
安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;塞萨尔·蒂内利

SMT中递归函数的模型查找。 （英语） Zbl 1475.68448号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 133-151 (2016).
MSC公司：68伏15 03B35型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Reynolds}等人，Lect。注释计算。科学。9706133--151（2016；Zbl 1475.68448）
全文： 内政部 哈尔
克什蒂吉·班萨尔;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利

SMT中有限集和基数约束的新决策过程。 （英语） Zbl 1475.68430号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 82-98 (2016).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Bansal}等人，Lect。注释计算。科学。9706、82-98（2016年；Zbl 1475.68430）
全文： 内政部
富克斯，亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利

平等理论的地面插值。 （英语） Zbl 1234.68257号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505413-427（2009）。
MSC公司：60年第68季度 03C40号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Fuchs｝等人，Lect。注释计算。科学。5505413-427（2009年；Zbl 1234.68257）
全文： 内政部 arXiv公司
克拉克·巴雷特;伊戈尔·什卡尼安;塞萨尔·蒂内利

递归数据类型理论中可满足性的抽象决策过程。 （英语） Zbl 1277.68132号

Cook，B.（ed.）等人，第四届自动推理决策程序语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第8期，23-37（2007）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Barrett}等人，《电子》。注释Theor。计算。科学。174，第8号，23--37（2007；Zbl 1277.68132）
全文： 内政部
塞萨尔·蒂内利;卡拉戈罗·扎尔巴。

结合了非稳定的无限理论。 （英语） Zbl 1261.03069号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，35-48（2003）。
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Tinelli}和\textit{C.G.Zarba}，电子。注释Theor。计算。科学。86，第1号，35-48（2003；Zbl 1261.03069）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件