保罗·莫雷廷;安德烈·帕塞里尼;罗伯托·塞巴斯蒂亚尼 用于加权模型集成的高级SMT技术。 (英语) Zbl 1478.68328号 Artif公司。智力。 275, 1-27 (2019).MSC公司:68T20型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Morettin}等人,Artif。智力。275,1-27(2019年;Zbl 1478.68328) 全文: 内政部
斯特凡诺·特索;罗伯托·塞巴斯蒂亚尼;安德烈·帕塞里尼 结构化学习模块理论。 (英语) Zbl 1404.68121号 Artif公司。智力。 244, 166-187 (2017).MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Teso}等人,Artif。智力。244166-187(2017;Zbl 1404.68121) 全文: 内政部 arXiv公司
A.邦迪。;金奇利亚,F。;R·塞巴斯蒂亚尼。;T·沃尔什。 计算关键性。 (英语) Zbl 0906.68138号 Artif公司。智力。 88,第1-2号,第39-67号(1996年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,人工制品。智力。88,编号1--2,39-67(1996;Zbl 0906.68138) 全文: 内政部