编辑配置文件（在新选项卡中打开） 恩里科·金西格里亚 合著者距离 作者ID： giunchiglia.enrico公司 发布日期： 恩里科·金西格里亚；Giunchiglia，E。 已编制索引的文档： 49出版物自1993年起 2作为编辑的贡献 合著者： 40位合著者具有51联合出版物 884位合作作者 全部的 前5名合著者 0 单作者的 24 阿曼多·塔切拉 14 马可·马拉提亚 11 马西莫·纳里扎诺 8 福斯托·金奇利亚 7 亚历山德罗·阿曼多 5 克劳迪奥·卡斯泰里尼 4 罗伯托·塞巴斯蒂亚尼 2 亚历山德罗·西马蒂 2 伊曼纽尔·迪·罗莎 2 弗拉基米尔·利夫希茨 2 马林，保罗 2 马可·皮斯托雷 2 卢卡·普利纳 2 马可·罗维里 1 马西莫·贝内雷塞蒂 1 迈克尔·卡什莫尔 1 克拉克（Edmund Melson jun Clarke）。 1 科普提，费迪 1 菲克斯，利莫 1 玛丽亚·福克斯 1 拉南·弗雷尔 1 伊恩·菲利普·根特 1 马西莫·伊迪尼 1 吉拉·卡米 1 Kartha，G.尼拉坎坦 1 Lee，Joohyng先生 1 尼古拉·利昂 1 尤利亚·利勒 1 马西莫马拉提亚 1 诺曼·麦凯恩 1 佩奇亚里，保罗 1 塞雷娜·伊丽莎·蓬塔 1 安德鲁·罗利（Andrew G.D.Rowley）。 1 卢西亚诺·塞拉菲尼 1 保罗·特拉弗索 1 哈德森·特纳 1 莫西·亚亚科夫·瓦尔迪 1 阿道夫·维拉菲奥里塔 1 托比·沃尔什 1 达维德·赞博宁 全部的 前5名系列 4 人工智能 4 数学与人工智能年鉴 三 自动推理杂志 2 国际智能系统杂志 2 逻辑与计算杂志 2 约束条件 1 计算机与系统科学杂志 1 人工智能通信 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 计算机基础理论 1 计算机科学课堂讲稿 领域 49 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 三 运筹学、数学规划（90-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 43出版物有被引用517中的次391文件 引用人▼ 年份▼ NuSMV 2：用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂；埃德蒙·克拉克；恩里科·金西格里亚；福斯托·金奇利亚；马可·皮斯托雷；马可·罗维里；罗伯托·塞巴斯蒂亚尼；阿曼多·塔切拉 114 2002 非单调因果理论。 Zbl 1085.68161号 恩里科·金西格里亚；Lee，Joohyng先生；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 68 2004 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科·金西格里亚；尤利亚·利勒；马可·马拉提亚 44 2006 量化布尔公式评估中的子句/术语解析和学习。 Zbl 1183.68475号 Giunchiglia，E。；纳里扎诺，M。；塔切拉，A。 29 2006 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎；恩里科·金西格里亚；马可·马拉提亚 27 2010 量化布尔逻辑可满足性的回跳。 Zbl 1082.68795号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 21 2003 基于SAT的自动推理决策程序：统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；福斯托·金奇利亚；阿曼多·塔切拉 19 2005 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提，费迪；菲克斯，利莫；拉南·弗雷尔；恩里科·金西格里亚；吉拉·卡米 18 2001 复杂领域中基于SAT的规划：并发、约束和不确定性。 Zbl 1082.68799号 克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；阿曼多·塔切拉 17 2003 代表行动：不确定性和后果。 Zbl 0894.68140号 恩里科·金西格里亚；G.Neelakantan Kartha；弗拉基米尔·利夫希茨 15 1997 QUBE：确定量化布尔公式可满足性的系统。 Zbl 0988.68598号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 12 2001 sQueezeBF：一种基于等价推理的QBF有效预处理器。 Zbl 1306.68157号 恩里科·金西格里亚；马林，保罗；马西莫·纳里扎诺 12 2010 规划为量化布尔公式。 Zbl 1327.68211号 迈克尔·卡什莫尔；玛丽亚·福克斯；恩里科·金西格里亚 11 2012 关于答案集求解者之间的关系。 Zbl 1165.68333号 恩里科·金西格里亚；尼古拉·利昂；马可·马拉提亚 10 2008 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；马可·马拉提亚 9 2005 QuBE++：一个高效的QBF解算器。 兹比尔1117.68488 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 8 2004 基于SAT的经典模态逻辑决策程序。 Zbl 1003.03011号 恩里科·金西格里亚；阿曼多·塔切拉；福斯托·金奇利亚 8 2002 结合定性偏好解决可满足性问题的方法。 Zbl 1296.68164号 伊曼纽尔·迪·罗莎；恩里科·金西格里亚 7 2013 关于答案集和SAT程序之间的关系（或CMODELS和SMODELS之间的关系）。 兹比尔1165.68488 恩里科·金西格里亚；马可·马拉提亚 6 2005 OptSAT：解决SAT相关优化问题的工具。 Zbl 1152.68553号 恩里科·金西格里亚；马可·马拉提亚 5 2006 观察QBF解算器的数据结构。 Zbl 1204.68195号 伊恩·根特；恩里科·金西格里亚；马西莫·纳里扎诺；安德鲁·罗利；阿曼多·塔切拉 5 2004 将Davis-Putnam程序应用于非子句公式。 Zbl 0961.03014号 恩里科·金西格里亚；罗伯托·塞巴斯蒂亚尼 5 2000 在交互式定理证明器中嵌入复杂的决策过程。 Zbl 1034.68541号 亚历山德罗·阿曼多；恩里科·金西格里亚 5 1993 评估命题可满足性中的搜索启发式和优化技术。 Zbl 0988.68608号 恩里科·金西格里亚；马西莫马拉提亚；阿曼多·塔切拉；达维德·赞博宁 5 2001 命题可满足性中的因变量和自变量。 Zbl 1014.68528号 恩里科·金西格里亚；马可·马拉提亚；阿曼多·塔切拉 5 2002 模态逻辑的SAT与基于翻译的决策程序：比较评估。 Zbl 1033.03500号 恩里科·金西格里亚；福斯托·金奇利亚；罗伯托·塞巴斯蒂亚尼；阿曼多·塔切拉 4 2000 集成了基于BDD和基于SAT的符号模型检查。 Zbl 1057.68623号 亚历山德罗·西马蒂；恩里科·金西格里亚；马可·皮斯托雷；马可·罗维里；罗伯托·塞巴斯蒂亚尼；阿曼多·塔切拉 三 2002 模态逻辑中可满足性的子匹配大小边界缓存。 Zbl 0963.68178号 恩里科·金西格里亚；阿曼多·塔切拉 三 2000 求解具有定性偏好的可满足性问题的算法。 Zbl 1357.68206号 恩里科·金西格里亚；马可·马拉提亚 2 2012 在计划中引入偏好作为可满足性。 Zbl 1216.68245号 恩里科·金西格里亚；马可·马拉提亚 2 2011 定量布尔公式可满足性中的回跳和平凡真值分析。 Zbl 1007.68577号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 2 2001 满意度测试的理论与应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。 Zbl 1030.00034号 2 2004 基于真实世界实例的QBF推理。 Zbl 1122.68596号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 2 2005 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；马西莫·伊迪尼；马可·马拉提亚 2 2005 十二年的QBF评估：QSAT是PSPACE-困难的，它表明了这一点。 Zbl 1373.68380号 马林，保罗；马西莫·纳里扎诺；卢卡·普利纳；阿曼多·塔切拉；恩里科·金西格里亚 2 2016 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；马可·马拉提亚 1 2005 多智能体系统中信念的形式化描述。 Zbl 0937.68113号 马西莫·贝内雷塞蒂；恩里科·金西格里亚；卢西亚诺·塞拉菲尼；阿道夫·维拉菲奥里塔 1 1999 用于形式化复杂推理的多上下文体系结构。 Zbl 0826.68111号 恩里科·金西格里亚；保罗·特拉弗索 1 1995 基于SAT的经典模态逻辑决策程序。 兹伯利0980.03010 恩里科·金西格里亚；福斯托·金奇利亚；阿曼多·塔切拉 1 2000 评估搜索策略和启发式，以实现高效的答案集编程。 Zbl 1155.68509号 恩里科·金西格里亚；马可·马拉提亚 1 2005 关于信仰的理想信念和真实信念。 Zbl 1004.03011号 恩里科·金西格里亚；福斯托·金奇利亚 1 2001 系统描述：*SAT。开发模态决策程序的平台。 Zbl 0963.68538号 恩里科·金西格里亚；阿曼多·塔切拉 1 2000 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多；恩里科·金西格里亚；马可·马拉提亚；塞雷娜·伊丽莎·蓬塔 1 2012 十二年的QBF评估：QSAT是PSPACE-困难的，它表明了这一点。 Zbl 1373.68380号 马林，保罗；马西莫·纳里扎诺；卢卡·普利纳；阿曼多·塔切拉；恩里科·金西格里亚 2 2016 结合定性偏好解决可满足性问题的方法。 Zbl 1296.68164号 伊曼纽尔·迪·罗莎；恩里科·金西格里亚 7 2013 规划为量化布尔公式。 Zbl 1327.68211号 迈克尔·卡什莫尔；玛丽亚·福克斯；恩里科·金西格里亚 11 2012 求解具有定性偏好的可满足性问题的算法。 Zbl 1357.68206号 恩里科·金西格里亚；马可·马拉提亚 2 2012 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 Zbl 1238.68157号 亚历山德罗·阿曼多；恩里科·金西格里亚；马可·马拉提亚；塞雷娜·伊丽莎·蓬塔 1 2012 在规划中引入偏好作为可满足性。 Zbl 1216.68245号 恩里科·金西格里亚；马可·马拉提亚 2 2011 用偏好解决可满足性问题。 Zbl 1208.68199号 伊曼纽尔·迪·罗莎；恩里科·金西格里亚；马可·马拉提亚 27 2010 sQueezeBF：基于等价推理的有效QBF预处理器。 Zbl 1306.68157号 恩里科·金西格里亚；马林，保罗；马西莫·纳里扎诺 12 2010 关于答案集求解者之间的关系。 Zbl 1165.68333号 恩里科·金西格里亚；尼古拉·利昂；马可·马拉提亚 10 2008 基于命题可满足性的答案集编程。 Zbl 1107.68029号 恩里科·金西格里亚；尤利亚·利勒；马可·马拉提亚 44 2006 量化布尔公式评估中的子句/术语解析和学习。 Zbl 1183.68475号 Giunchiglia，E。；纳里扎诺，M。；塔切拉，A。 29 2006 OptSAT：解决SAT相关优化问题的工具。 Zbl 1152.68553号 恩里科·金西格里亚；马可·马拉提亚 5 2006 基于SAT的自动推理决策程序：统一的观点。 Zbl 1098.68693号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；福斯托·金奇利亚；阿曼多·塔切拉 19 2005 基于SAT的差分约束布尔组合决策过程。 Zbl 1122.68583号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；马可·马拉提亚 9 2005 关于答案集和SAT程序之间的关系（或CMODELS和SMODELS之间的关系）。 兹比尔1165.68488 恩里科·金西格里亚；马可·马拉提亚 6 2005 基于真实世界实例的QBF推理。 Zbl 1122.68596号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 2 2005 TSAT公司++：可满足性模理论的开放平台。 Zbl 1272.68369号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；马西莫·伊迪尼；马可·马拉提亚 2 2005 基于SAT的分离逻辑方法。 Zbl 1109.68108号 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；马可·马拉提亚 1 2005 评估搜索策略和启发式，以实现高效的答案集编程。 Zbl 1155.68509号 恩里科·金西格里亚；马可·马拉提亚 1 2005 非单调因果理论。 Zbl 1085.68161号 恩里科·金西格里亚；Lee，Joohyng先生；弗拉基米尔·利夫希茨；诺曼·麦凯恩；哈德森·特纳 68 2004 QuBE++：一个高效的QBF解算器。 兹比尔1117.68488 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 8 2004 观察QBF解算器的数据结构。 Zbl 1204.68195号 伊恩·根特；恩里科·金西格里亚；马西莫·纳里扎诺；安德鲁·罗利；阿曼多·塔切拉 5 2004 满意度测试的理论与应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。 兹比尔1030.00034 2 2004 量化布尔逻辑可满足性的回跳。 Zbl 1082.68795号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 21 2003 复杂领域中基于SAT的规划：并发、约束和不确定性。 Zbl 1082.68799号 克劳迪奥·卡斯泰里尼；恩里科·金西格里亚；阿曼多·塔切拉 17 2003 NuSMV 2：用于符号模型检查的OpenSource工具。 Zbl 1010.68766号 亚历山德罗·西马蒂；埃德蒙·克拉克；恩里科·金西格里亚；福斯托·金奇利亚；马可·皮斯托雷；马可·罗维里；罗伯托·塞巴斯蒂亚尼；阿曼多·塔切拉 114 2002 基于SAT的经典模态逻辑决策程序。 Zbl 1003.03011号 恩里科·金西格里亚；阿曼多·塔切拉；福斯托·金奇利亚 8 2002 命题可满足性中的因变量和自变量。 Zbl 1014.68528号 恩里科·金西格里亚；马可·马拉提亚；阿曼多·塔切拉 5 2002 集成了基于BDD和基于SAT的符号模型检查。 Zbl 1057.68623号 亚历山德罗·西马蒂；恩里科·金西格里亚；马可·皮斯托雷；马可·罗维里；罗伯托·塞巴斯蒂亚尼；阿曼多·塔切拉 三 2002 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提，费迪；菲克斯，利莫；拉南·弗雷尔；恩里科·金西格里亚；吉拉·卡米 18 2001 QUBE：确定量化布尔公式可满足性的系统。 Zbl 0988.68598号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 12 2001 评估命题可满足性中的搜索启发式和优化技术。 Zbl 0988.68608号 恩里科·金西格里亚；马西莫马拉提亚；阿曼多·塔切拉；达维德·赞博宁 5 2001 定量布尔公式可满足性中的回跳和平凡真值分析。 Zbl 1007.68577号 恩里科·金西格里亚；马西莫·纳里扎诺；阿曼多·塔切拉 2 2001 关于信仰的理想信念和真实信念。 Zbl 1004.03011号 恩里科·金西格里亚；福斯托·金奇利亚 1 2001 将Davis-Putnam程序应用于非子句公式。 Zbl 0961.03014号 恩里科·金西格里亚；罗伯托·塞巴斯蒂亚尼 5 2000 模态逻辑的SAT与基于翻译的决策过程：比较评估。 Zbl 1033.03500号 恩里科·金西格里亚；福斯托·金奇利亚；罗伯托·塞巴斯蒂亚尼；阿曼多·塔切拉 4 2000 模态逻辑中可满足性的子匹配大小边界缓存。 Zbl 0963.68178号 恩里科·金西格里亚；阿曼多·塔切拉 三 2000 基于SAT的经典模态逻辑决策程序。 Zbl 0980.03010号 恩里科·金西格里亚；福斯托·金奇利亚；阿曼多·塔切拉 1 2000 系统描述：*SAT。开发模态决策程序的平台。 Zbl 0963.68538号 恩里科·金西格里亚；阿曼多·塔切拉 1 2000 多智能体系统中信念的形式化描述。 Zbl 0937.68113号 马西莫·贝内雷塞蒂；恩里科·金西格里亚；卢西亚诺·塞拉菲尼；阿道夫·维拉菲奥里塔 1 1999 代表行动：不确定性和后果。 Zbl 0894.68140号 恩里科·金西格里亚；G.Neelakantan Kartha；弗拉基米尔·利夫希茨 15 1997 用于形式化复杂推理的多上下文体系结构。 兹伯利0826.68111 恩里科·金西格里亚；保罗·特拉弗索 1 1995 在交互式定理证明器中嵌入复杂的决策过程。 Zbl 1034.68541号 亚历山德罗·阿曼多；恩里科·金西格里亚 5 1993 所有引用出版物 前5名被引用出版物 全部的 前5名691位作者引用 15 马可·马拉提亚 11 马丁·格布瑟 11 恩里科·金西格里亚 11 若昂·席尔瓦侯爵。 11 托尔斯滕·绍布（Torsten H.Schaub）。 11 莫西·亚亚科夫·瓦尔迪 10 亚历山德罗·西马蒂 10 Lee，Joohyng先生 10 尤利亚·利勒 10 弗洛里安·朗辛 9 马里奥·阿尔维亚诺 9 奥拉夫·拜尔斯多夫 9 多达罗，胭脂红 8 马蒂娜·塞德尔 7 阿明·比尔 7 埃格利，乌韦 7 托马斯·艾特 7 埃斯拉·埃尔登 6 亚历山德罗·普雷维蒂 6 马可·罗维里 6 儿子Tran Cao 5 Chitta R.巴拉尔。 5 乔舒亚·布林霍恩 5 玛丽安·盖奥吉 5 米科拉什，雅诺塔 5 Järvisalo，马蒂 5 汤米·A·琼蒂拉。 5 萨瓦斯·科努尔 5 弗朗西斯科·里卡 5 哈维尔·罗梅罗 5 罗伯托·塞巴斯蒂亚尼 5 斯泽德，斯特凡 5 阿曼多·塔切拉 5 迈克尔·泰尔舍尔 5 斯特凡·沃尔特兰 4 库克，拜伦 4 沃尔夫冈·费伯 4 迈克尔·芬克 4 佛罗伦萨伊帕特 4 蒋洁红·罗兰 4 罗兰·卡明斯基 4 本杰明·考夫曼 4 卡洛斯·门西娅 4 沃尔坎州帕托格鲁 4 恩里科·蓬泰利 4 卢卡·普利纳 4 杨芳凯 三 亚历山德罗·阿曼多 三 亚历山大·阿提基斯 三 瓦莱里·巴拉巴诺夫 三 贝恩德·贝克尔 三 本杰明·伯姆 三 马可·波扎诺 三 卢博什·布里姆 三 陈小平 三 Jean-Paul彗星 三 詹姆斯·德尔格兰德。 三 阿戈斯蒂诺·多维尔 三 安德烈亚·福米萨诺 三 迈克尔·盖尔芬德 三 劳拉·佐丹奴 三 福斯托·金奇利亚 三 阿尔贝托·格里乔 三 Heule，Marijn J.H。 三 卢克·欣德 三 丹尼尔·科宁 三 拉卢卡左翼 三 尼古拉·利昂 三 弗拉基米尔·利夫希茨 三 米纳·马哈扬 三 克劳迪奥·蒙吉 三 克里斯托夫·斯科尔 三 马雷克·塞尔戈特。 三 弗里德里希·斯利沃夫斯基 三 索菲涅·塔哈尔 三 Stefano托内塔 三 保罗·特拉弗索 三 特鲁什琴斯基，米洛斯奥 三 Tu，Phan Huy先生 三 王毅 三 Christoph M.温特斯泰格。 2 萨伊德·阿贝德 2 奥特曼·阿伊特·穆罕默德 2 乔瓦尼·阿蒙多拉 2 埃亚尔·埃米尔 2 约塞普·阿格利奇 2 法希姆·巴克斯 2 克拉克·W·巴雷特。 2 尼古拉·贝内什 2 安娜·伯纳斯科尼 2 皮耶乔治·贝尔托利 2 亚历山大·波奇曼 2 玛丽亚·保拉（Maria Paola Bonacina） 2 博尔祖·博纳克达尔普尔 2 格哈德·布鲁卡 2 罗伯特·布鲁托梅索 2 Randal E.布莱恩特。 2 西蒙·巴斯德 2 佩德罗·卡巴拉尔 2 马可·卡多利 …还有591名作者 全部的 前5名在45篇连载文章中被引用 64 人工智能 34 逻辑程序设计理论与实践 20 系统设计中的形式化方法 18 数学与人工智能年鉴 14 自动推理杂志 14 约束条件 13 理论计算机科学 10 信息与计算 9 计算的形式方面 6 应用逻辑杂志 4 信息学报 4 国际近似推理杂志 4 离散事件动态系统 4 ACM计算逻辑事务 三 计算机与系统科学杂志 三 工程中的数学问题 三 可满足性、布尔建模与计算杂志 三 计算机科学中的逻辑方法 2 Studia Logica公司 2 符号计算杂志 2 计算机科学与技术杂志 2 逻辑、语言与信息杂志 2 应用非经典逻辑杂志 2 计算系统理论 2 计算机科学前沿 2 程序设计中的逻辑和代数方法杂志 2 膜计算杂志 1 信息处理信件 1 信息科学 1 哲学逻辑杂志 1 编程和计算机软件 1 合成 1 计算机程序设计科学 1 计算机与运筹学 1 运筹学年鉴 1 吉泰。实验与理论人工智能杂志 1 分布式计算 1 控制论与系统分析 1 混乱 1 动力系统的数学和计算机建模 1 计算机基础理论 1 中国科学。F系列 1 理论计算机科学电子笔记 1 泛逻辑 1 计算机科学评论 全部的 前5名13个领域引用 361 计算机科学（68至XX） 88 数学逻辑和基础（03-XX） 16 生物学和其他自然科学（92-XX） 14 运筹学、数学规划（90-XX） 10 博弈论、经济学、金融和其他社会和行为科学（91-XX） 9 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 2 动力系统和遍历理论（37至XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文