埃马努埃莱迪罗莎;恩里科·金西格里亚;马可·马拉提亚 用偏好解决可满足性问题。 （英文） Zbl 1208.68199号 约束条件 第485-515号第15页（2010年）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人，《限制条件》15，第4期，485--515（2010；Zbl 1208.68199） 全文： 内政部
恩里科·金西格里亚;尼古拉·利昂;马可·马拉提亚 关于答案集求解者之间的关系。 （英文） Zbl 1165.68333号 安。数学。Artif公司。智力。 53，编号1-4169-204（2008）.MSC公司：68N17号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，《数学年鉴》。Artif公司。智力。53，编号1--4，169-204（2008；Zbl 1165.68333） 全文： 内政部
Giunchiglia，E。;纳里扎诺，M。;塔切拉，A。 量化布尔公式评估中的子句/术语解析和学习。 （英文） Zbl 1183.68475号 J.阿蒂夫。智力。研究（JAIR） 26, 371-416 (2006).MSC公司：68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，J.Artif。智力。研究（JAIR）26，371--416（2006；Zbl 1183.68475） 全文： arXiv公司
恩里科·金西格里亚;尤利亚·利勒;马可·马拉提亚 基于命题可满足性的答案集编程。 （英文） Zbl 1107.68029号 J.汽车。推理 36，第4期，345-377（2006）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，J.Autom。推理36，No.4，345--377（2006；Zbl 1107.68029） 全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;马可·马拉提亚 基于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程序之间的关系（或CMODELS和SMODELS之间的关系）。 （英文） Zbl 1165.68488号 Gabbrielli，Maurizio（编辑）等人，《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议，ICLP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29208-X/pbk）。计算机科学课堂讲稿3668，37-51（2005）。MSC公司：68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}和\textit{M.Maratea}，莱克特。注释计算。科学。3668、37-51（2005年；Zbl 1165.68488） 全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;福斯托·金奇利亚;塔切拉，阿曼多 基于SAT的自动推理决策程序：统一的观点。 （英文） Zbl 1098.68693号 Hutter，Dieter（编辑）等人，《数学推理的机械化》。纪念Jörg H.Siekmann 60岁生日的文章。柏林：施普林格出版社（ISBN 3-540-25051-4/pbk）。计算机科学课堂讲稿2605。人工智能课堂讲稿，46-58（2005）。MSC公司：68吨15 03B35型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，Lect。注释计算。科学。2605、46-58（2005年；Zbl 1098.68693） 全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;马可·马拉提亚 一种基于SAT的差分约束布尔组合决策过程。 （英文） Zbl 1122.68583号 Hoos，Holger H.（编辑）等，可满足性测试的理论和应用。2004年5月10日至13日，加拿大不列颠哥伦比亚省温哥华市，2004年SAT第七届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-27829-X/pbk）。《计算机科学讲义》3542，16-29（2005）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，Lect。注释计算。科学。3542，16-29（2005年；兹bl 1122.68583） 全文： 内政部
伊恩·根特;恩里科·金西格里亚;马西莫·纳里扎诺;安德鲁·罗利;塔切拉，阿曼多 观察QBF解算器的数据结构。 （英文） Zbl 1204.68195号 Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 25-36 (2004).MSC公司：68T20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{I.Gent}等人，Lect。注释计算。科学。2919、25-36（2004年；Zbl 1204.68195） 全文： 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;塔切拉，阿曼多 单音文字和QBF推理中的学习。 （英文） Zbl 1152.68554号 Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258260-273（2004）。MSC公司：68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，Lect。注释计算。科学。3258260-273（2004年；Zbl 1152.68554） 全文： 内政部
恩里科·金西格里亚（编辑）;塔切拉，阿曼多（编辑） 满意度测试的理论与应用。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） 全文： 内政部 链接
亚历山德罗·西马蒂;恩里科·金西格里亚;马尔科·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;塔切拉，阿曼多 集成了基于BDD和基于SAT的符号模型检查。 （英文） Zbl 1057.68623号 亚历山德罗·阿曼多（编辑），《组合系统的前沿》。2002年4月8日至10日，意大利圣玛格丽塔利古雷，FroCos 2002，第四届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43381-3）。莱克特。注释计算。科学。2309, 49-56 (2002).MSC公司：60年第68季度 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。2309、49-56（2002年；Zbl 1057.68623） 全文： 链接
亚历山德罗·西马蒂;埃德蒙·克拉克;恩里科·金西格里亚;福斯托·金奇利亚;马尔科·皮斯托雷;马可·罗维里;罗伯托·塞巴斯蒂亚尼;塔切拉，阿曼多 NuSMV 2：一个用于符号模型检查的开源工具。 （英文） Zbl 1010.68766号 Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 359-364 (2002).MSC公司：68单位99 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。2404359-364（2002年；Zbl 1010.68766） 全文： 链接