×

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

最新的 引文 关联
盛英；安德烈斯·诺兹利；安德鲁·雷诺兹；尤尼·佐哈尔；大卫·迪尔；沃尔夫冈·格里斯坎普；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）
全文： 内政部
亚历山德罗·阿巴特；哈尼尔·巴博萨；克拉克·巴雷特；克里斯蒂娜·大卫；帕斯卡·凯塞利；丹尼尔·克罗宁；伊丽莎白·波尔格林；安德鲁·雷诺兹；塞萨尔·蒂内利

用非平凡常数合成程序。 （英语） 兹伯利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）
全文： 内政部
盛英；安德烈斯·诺兹利；安德鲁·雷诺兹；尤尼·佐哈尔；大卫·迪尔；沃尔夫冈·格里斯坎普；Park，Junkil公园；沙兹·卡迪尔；克拉克·巴雷特；塞萨尔·蒂内利

使用SMT序列理论推理向量。 （英语） 兹伯利07628185

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 125-143 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Sheng}等人，Lect。注释计算。科学。13385，125-143（2022；Zbl 07628185）
全文： 内政部 arXiv公司
基里恩·克莱默；安德鲁·雷诺兹；克拉克·巴雷特；塞萨尔·蒂内利

中求解非线性实数算法的协作技术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 1514.68274号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 205-226 (2022).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Nötzli｝等人，Lect。注释计算。科学。13372，205-226（2022；Zbl 1514.68274）
全文： 内政部
盛英；尤尼·佐哈尔；克里斯托夫·林盖森；安德鲁·雷诺兹；克拉克·巴雷特；塞萨尔·蒂内利

礼貌与稳定无限：共同坚强。 （英语） 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公司
艾娜·尼梅茨；马蒂亚斯·普雷纳；安德鲁·雷诺兹；克拉克·巴雷特；塞萨尔·蒂内利

语法引导的量词实例化。 （英语） Zbl 1474.68456号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 145-163 (2021).
MSC公司：68V20型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Niemetz}等人，Lect。注释计算。科学。12652，145-163（2021；Zbl 1474.68456）
全文： 内政部
安德鲁·雷诺兹；安德烈斯·诺兹利；克拉克·巴雷特；塞萨尔·蒂内利

字符串到代码点转换的决策过程。 （英语） Zbl 07614515号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 218-237 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Reynolds}等人，Lect。注释计算。科学。12166218-237（2020年；兹bl 07614515）
全文： 内政部
安德鲁·雷诺兹；哈尼尔·巴博萨；丹尼尔·拉拉兹；塞萨尔·蒂内利

通过枚举语法指导的合成实现外推的可扩展算法。 （英语） Zbl 07614511号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 141-160 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Reynolds}等人，Lect。注释计算。科学。12166141-160（2020；Zbl 07614511）
全文： 内政部
艾娜·尼梅茨；马蒂亚斯·普雷纳；安德鲁·雷诺兹；尤尼·佐哈尔；克拉克·巴雷特；塞萨尔·蒂内利

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

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 366-384 (2019).
MSC公司：03B35型 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公司：03B35型 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日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 133-151 (2016).
MSC公司：68伏15 03B35型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Reynolds}等人，Lect。注释计算。科学。97061933-151（2016年；兹bl 1475.68448）
全文： 内政部 哈尔
克什蒂吉·班萨尔；安德鲁·雷诺兹；克拉克·巴雷特；塞萨尔·蒂内利

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

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 82-98 (2016).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Bansal}等人，Lect。注释计算。科学。9706、82-98（2016年；Zbl 1475.68430）
全文： 内政部
梁天一；内斯塔·齐斯卡里泽；安德鲁·雷诺兹；塞萨尔·蒂内利；克拉克·巴雷特

无界字符串上正则成员资格和长度约束的决策过程。 （英语） Zbl 1471.68119号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 135-150 (2015).
MSC公司：65年第68季度 03B25号 03B35型 68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Liang}等人，Lect。注释计算。科学。9322，135-150（2015；Zbl 1471.68119）
全文： 内政部
彼得·鲍姆加特纳；塞萨尔·蒂内利

具有等模内置理论的模型演化。 （英语） Zbl 1341.68180号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，85-100（2011）。
MSC公司：68吨15 03B20型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}和\textit{C.Tinelli}，莱克特。注释计算。科学。6803，85--100（2011；Zbl 1341.68180）
全文： 内政部
阿米特·戈尔；萨瓦·克里斯蒂奇；塞萨尔·蒂内利

组合理论的地面插值。 （英语） Zbl 1250.68188号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能课堂讲稿》，183-198（2009）。
MSC公司：60年第68季度 03B35型 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Goel}等人，Lect。注释计算。科学。5663、183--198（2009年；Zbl 1250.68188）
全文： 内政部
富克斯，亚历山大；阿米特·戈尔；吉姆，格兰迪；萨瓦·克里斯蒂奇；塞萨尔·蒂内利

平等理论的地面插值。 （英语） 兹比尔12346.8257

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。《计算机科学讲义》5505、413-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）
全文： 内政部
Franz巴德；塞萨尔·蒂内利

组合单词问题决策程序的新方法，及其与Nelson-Oppen组合方法的联系。 （英语） Zbl 1430.03036号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 19-33 (1997).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}和\textit{C.Tinelli}，莱克特。注释计算。科学。1249、19-33（1997年；Zbl 1430.03036）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件