×

找到23份文件（结果1–23）

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

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

Bouajjani，Ahmed（编辑）等人，用于验证和分析的自动化技术。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 137-153 (2022).
MSC公司：第68卷第15页 55平方米5 90立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。13505，137--153（2022；Zbl 1522.68716）
全文： 内政部 链接
菲利波·比加雷拉;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马丁·乔纳什;马可·罗维里;罗伯托·塞巴斯蒂安;帕特里克·特伦丁

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

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 213-231 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bigarella｝等人，Lect。注释计算。科学。12941213-231（2021年；兹bl 07497924）
全文： 内政部 链接
帕特里克·特伦丁;罗伯托·塞巴斯蒂安

浮点数理论的优化模块。 （英语） Zbl 07178998号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 550-567 (2019).
MSC公司：68T20型 65K10码
PDF格式BibTeX公司 XML格式引用
\textit{P.Trentin}和\textit{R.Sebastiani}，莱克特。注释计算。科学。11716、550-567（2019；Zbl 07178998）
全文： 内政部 arXiv公司
罗伯托·塞巴斯蒂安

色彩使理论变得困难。 （英语） Zbl 1475.68451号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706152-170（2016年）。
MSC公司：第68卷第15页 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Sebastiani}，莱克特。注释计算。科学。9706152--170（2016；Zbl 1475.68451）
全文： 内政部 链接
阿尔贝托·格里乔;Phan，Quoc-Sang先生;罗伯托·塞巴斯蒂安;西尔维娅·托马西

SMT的随机局部搜索：结合理论求解器和WalkSAT。 （英语） Zbl 1348.68227号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，163-178（2011）。
MSC公司：68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Griggio}等人，Lect。注释计算。科学。6989163--178（2011年；Zbl 1348.68227）
全文： 内政部 链接
沃尔克·哈尔斯列夫;罗伯托·塞巴斯蒂安;米歇尔·韦斯科维

通过SMT在\（\mathcal{ALCQ}\）中进行自动推理。 （英语） Zbl 1341.68226号

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。人工智能课堂讲稿，283-298（2011）。
MSC公司：68立方英尺 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{V.Haarslev}等人，Lect。注释计算。科学。6803283--298（2011；Zbl 1341.68226）
全文： 内政部
阿尔贝托·格里乔;黎锡秋和;罗伯托·塞巴斯蒂安

可满足模线性整数算法中的高效插值生成。 （英语） Zbl 1315.68179号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605143-157（2011）。
MSC公司：60年第68季度 03B25号 03C40号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Griggio}等人，Lect。注释计算。科学。6605143-157（2011年；Zbl 1315.68179）
全文： 内政部 arXiv公司
罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗兰岑;阿尔贝托·格里乔;罗伯托·塞巴斯蒂安

延迟理论组合与Nelson-Oppen关于可满足性模理论的比较分析。 （英语） Zbl 1192.68627号

安。数学。工件。智力。 55，编号1-2，63-99（2009）.
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruttomesso}等人，《数学年鉴》。工件。智力。55，编号1--2，63-99（2009；Zbl 1192.68627）
全文： 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;罗伯托·塞巴斯蒂安

UTVPI的插值生成。 （英语） Zbl 1250.68186号

Schmidt，Renate A.（编辑），《自动扣除——CADE-22》。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能讲义》，167-182（2009）。
MSC公司：60年第68季度 03B35型 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。5663、167--182（2009年；Zbl 1250.68186）
全文： 内政部
罗伯托·塞巴斯蒂安;米歇尔·韦斯科维

通过Horn-SAT编码和冲突分析在轻量级描述逻辑中确定公理。 （英语） 兹比尔1250.68246

Schmidt，Renate A.（编辑），《自动扣除——CADE-22》。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能课堂讲稿》，84-99（2009）。
MSC公司：68T27型 03B35型 68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.Sebastiani}和\textit{M.Vescovi}，莱克特。注释计算。科学。5663、84-99（2009年；Zbl 1250.68246）
全文： 内政部 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;罗伯托·塞巴斯蒂安

可满足模理论中的有效插值生成。 （英语） Zbl 1134.68402号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日，作为欧洲软件理论和实践联合会议的一部分，第14届国际会议，TACAS 2008，在匈牙利布达佩斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963397-412（2008）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。4963、397--412（2008年；Zbl 1134.68402）
全文： 内政部
福斯托·金奇利亚;马可·罗维里;罗伯托·塞巴斯蒂安

模态逻辑中测试决策过程的一种新方法。 （英语） Zbl 1430.68409号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 264-267 (1997).
MSC公司：第68卷第15页 03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Giunchiglia}等人，Lect。注释计算。科学。1249、264--267（1997年；Zbl 1430.68409）
全文： 内政部
福斯托·金奇利亚;罗伯托·塞巴斯蒂安

从命题决策过程构建模态逻辑的决策过程——模态K的案例研究。 （英语） Zbl 1415.03022号

McRobbie，M.A.（编辑）等人，《自动推导——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 583-597 (1996).
MSC公司：03B35型 03B25号 03B45号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Giunchiglia}和\textit{R.Sebastiani}，莱克特。注释计算。科学。1104583-597（1996年；Zbl 1415.03022）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件