帕特里克·特伦丁;罗伯托·塞巴斯蒂安 优化模块化有符号位向量和浮点数理论。 (英语) 兹伯利07433028 J.自动化。推理 65,第7期,1071-1096(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Trentin}和\textit{R.Sebastiani},J.Autom。推理65,No.7,1071--1096(2021;Zbl 07433028) 全文: 内政部
罗伯托·塞巴斯蒂安;帕特里克·特伦丁 优化数学卫星:优化模理论的工具。 (英语) Zbl 1468.68206号 J.自动化。推理 64,第3号,423-460(2020).MSC公司:68T20型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin},J.Autom。推理64,No.3,423--460(2020;Zbl 1468.68206) 全文: 内政部
帕特里克·特伦丁;罗伯托·塞巴斯蒂安 浮点数理论的优化模块。 (英语) Zbl 07178998号 Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11716, 550-567 (2019).MSC公司:03B35型 68伏15 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年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 152-170 (2016).MSC公司:68伏15 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani},莱克特。注释计算。科学。9706152--170(2016;Zbl 1475.68451) 全文: 内政部 链接
阿尔贝托·格里乔;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公司
马可·波扎诺;罗伯托·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂安 通过布尔搜索进行有效的理论组合。 (英语) Zbl 1137.68578号 Inf.计算。 204,第10号,1493-1525(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《信息计算》。204,第10号,1493-1525(2006;Zbl 1137.68578) 全文: 内政部
马可·波扎诺;罗伯托·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;彼得·范·罗苏姆;斯蒂芬·舒尔茨;罗伯托·塞巴斯蒂安 米路径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) 全文: 内政部