马特奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 (英语) Zbl 1522.68519号 约束条件 28,编号1,1-12(2023).MSC公司:68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《约束》28,第1期,第1-12页(2023年;Zbl 1522.68519) 全文: 内政部
拉斐尔,爱丽丝;马蒂奥·扎瓦特里 减少DTP中的析取数。 (英语) Zbl 07713420号 Inf.计算。 293,文章ID 105048,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Raffaele}和\textit{M.Zavatteri},Inf.Comput。293,文章ID 105048,7 p.(2023;Zbl 07713420) 全文: 内政部
亚历山德罗·西马蒂;做,明;安德烈亚·米凯利;马可·罗维里;大卫·E·史密斯。 强有力的时间规划,持续时间不可控。 (英语) 兹比尔1443.68163 Artif公司。智力。 256, 1-34 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。因特尔。256,1-34(2018;Zbl 1443.68163) 全文: 内政部 链接
亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 通过定时游戏自动机实现动态可控性。 (英语) Zbl 1350.68251号 Acta信息。 53,第6-8号,681-722(2016).MSC公司:68T42型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《学报》第53期,第6--8、681--722号(2016年;Zbl 1350.68251) 全文: 内政部 链接
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 基于SMT的不确定性析取时间问题弱可控性方法。 (英语) Zbl 1343.68237号 Artif公司。智力。 224, 1-27 (2015).MSC公司:68层37 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Artif。因特尔。224,1--27(2015;Zbl 1343.68237) 全文: 内政部
亚历山德罗·西马蒂;安德烈亚·米凯利;马可·罗维里 使用SMT解决不确定性时间问题的强可控性。 (英语) Zbl 1314.90043号 约束条件 2015年1月20日至29日.MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《约束20》,第1期,1-29页(2015;Zbl 1314.90043) 全文: 内政部