亚历山德罗·阿曼多;恩里科·金西格里亚;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法,用于在授权约束下对业务流程进行正式规范和自动分析。 (英语) Zbl 1238.68157号 J.计算。系统。科学。 78,第1期,119-141(2012).MSC公司:68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Compute。系统。科学。78,第1号,119--141(2012;Zbl 1238.68157) 全文: 内政部
克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;阿曼多·塔切拉 复杂领域中基于SAT的规划:并发、约束和不确定性。 (英语) Zbl 1082.68799号 Artif公司。智力。 147,编号1-2,85-117(2003).MSC公司:68T20型 68层37 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Castellini}等人,Artif。智力。147,编号1--2,85-117(2003;Zbl 1082.68799) 全文: 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的SAT图书馆:宣言。 (英语) Zbl 0990.90559号 Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:Elsevier,Electron。注释离散数学。9,无页码。,仅电子版(2001)。MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《电子》。注释离散数学。9,无页码。(2001年;Zbl 0990.90559)