恩里科·金西格里亚（编辑）;阿曼多·塔切拉（编辑） 满意度测试的理论与应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。 （英语） Zbl 1030.00034号 计算机科学课堂讲稿. 2919. 柏林：斯普林格。xi，530页（2004）。MSC公司：00B25型 68-06 68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}（编辑）和\textit{A.Taccella}（编），可满足性测试的理论和应用。2003年5月5-8日，意大利圣玛格丽塔利古雷，2003年SAT第六届国际会议。选定的修订论文。柏林：施普林格出版社（2004；Zbl 1030.00034） 全文： 内政部 链接
克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;阿曼多·塔切拉 复杂领域中基于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） 全文： 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 量化布尔逻辑可满足性的回跳。 （英语） Zbl 1082.68795号 Artif公司。智力。 145，编号1-2，99-120（2003）.MSC公司：68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，Artif。智力。145，编号1--2，99-120（2003；Zbl 1082.68795） 全文： 内政部
恩里科·金西格里亚;阿曼多·塔切拉 用于测试模态逻辑中可满足性的子匹配大小边界缓存。 （英语） Zbl 1314.68279号 安。数学。Artif公司。智力。 33，第1号，39-67（2001）.MSC公司：68吨15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}和\textit{A.Tachella}，Ann.数学。Artif公司。智力。33，第1号，39--67（2001；Zbl 1314.68279） 全文： 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的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）
恩里科·金西格里亚;福斯托·金奇利亚;罗伯托·塞巴斯蒂亚尼;阿曼多·塔切拉 模态逻辑的SAT与基于翻译的决策过程：比较评估。 （英语） Zbl 1033.03500号 J.应用。非类别。日志。 10，第2期，145-172（2000）.MSC公司：03B35型 68吨15 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，J.Appl。非类别。日志。10，第2号，145--172（2000；Zbl 1033.03500） 全文： 内政部