恩里科·金西格里亚;马可·马拉提亚;卢卡·普利纳 基于翻译的方法,用于解决具有偏好的析取时间问题。 (英语) Zbl 1468.68201号 限制条件 23,第4号,383-402(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《限制条件》23,第4期,383--402(2018年;Zbl 1468.68201) 全文: 内政部 链接
亚历山德罗·阿曼多;恩里科·金西格里亚;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Comput。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;马可·马拉提亚 基于SAT的分离逻辑方法。 (英语) Zbl 1109.68108号 J.汽车。推理 35,编号1-3,237-263(2005).MSC公司:68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Autom。推理35,No.1--3,237--263(2005;Zbl 1109.68108) 全文: 内政部 链接
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的SAT图书馆:宣言。 (英语) Zbl 0990.90559号 Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:爱思唯尔,电子。注释离散数学。9,无页码。,仅电子版(2001)。MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《电子》。注释离散数学。9,无页码。(2001年;Zbl 0990.90559)