菲利波·比加雷拉;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;马丁·乔纳什;马可·罗维里;罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 通过增量线性化优化模非线性算法。 (英语) 兹伯利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) 全文: 内政部 链接
罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) Zbl 1468.68206号 J.汽车。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,第3期,423-460(2020;兹bl 1468.68206) 全文: 内政部
斯特凡诺·特索;罗伯托·塞巴斯蒂亚尼;安德烈·帕塞里尼 结构化学习模块理论。 (英语) 兹比尔1404.68121 Artif公司。智力。 244166-187(2017).MSC公司:68T05年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Teso}等人,Artif。智力。244166-187(2017;Zbl 1404.68121) 全文: 内政部 arXiv公司
罗伯托·塞巴斯蒂亚尼 色彩使理论变得困难。 (英语) Zbl 1475.68451号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 152-170 (2016).MSC公司:68伏15 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Sebastiani},Lect。注释计算。科学。9706152--170(2016;Zbl 1475.68451) 全文: 内政部 链接
罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 具有线性合理成本的优化模理论。 (英语) Zbl 1354.68233号 ACM事务处理。计算。日志。 16,第2号,第12条,43页(2015年).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{S.Tomasi},ACM翻译。计算。日志。16,第2号,第12条,43页(2015年;Zbl 1354.68233) 全文: 内政部 arXiv公司
阿尔贝托·格里乔;Le,Thi Thieu Hoa先生;罗伯托·塞巴斯蒂亚尼 可满足模线性整数算法中的高效插值生成。 (英语) 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号 安。数学。Artif公司。智力。 55,编号1-2,63-99(2009).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,《数学年鉴》。Artif公司。智力。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) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼 通过布尔搜索进行有效的理论组合。 (英语) Zbl 1137.68578号 Inf.计算。 204,第10期,1493-1525(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,Inf.Comput。204,第10号,1493-1525(2006;Zbl 1137.68578) 全文: 内政部
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂亚尼 M(M)路径SAT:SAT和数学决策程序的紧密结合。 (英语) Zbl 1109.68101号 J.汽车。推理 35,编号1-3,265-293(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,J.Autom。推理35,No.1--3,265--293(2005;Zbl 1109.68101) 全文: 内政部