菲利波·比加雷拉；亚历山德罗·西马蒂；阿尔贝托·格里乔；艾哈迈德·埃尔凡；马丁·乔纳什；马可·罗维里；罗伯托·塞巴斯蒂亚尼；帕特里克·特伦丁 通过增量线性化优化模非线性算法。 （英语） Zbl 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 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） 全文： 内政部
弗朗西斯科·孔塔尔多；帕特里克·特伦丁；罗伯托·塞巴斯蒂亚尼 发件人迷你锌到优化模理论，然后回来。 （英语） 兹伯利07636017 Hebrard，Emmanuel（编辑）等人，《约束编程、人工智能和运筹学的集成》。第17届国际会议，CPAIOR 2020，奥地利维也纳，2020年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12296, 148-166 (2020).MSC公司：68T20型 900亿 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Contaldo}等人，Lect。票据计算。科学。12296、148--166（2020；Zbl 07636017） 全文： 内政部 arXiv公司
罗伯托·塞巴斯蒂亚尼；帕特里克·特伦丁 优化数学卫星：优化模理论的工具。 （英语） 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公司
R·塞巴斯蒂亚尼。；特伦丁，P。 用线性算术代价函数推导出优化模理论的包络线。 （英语） Zbl 1420.68197号 Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9035, 335-349 (2015).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{P.Trentin}，莱克特。票据计算。科学。9035，335--349（2015；Zbl 1420.68197） 全文： 内政部 arXiv公司