编辑配置文件(在新选项卡中打开) 马西莫·纳里扎诺 合著者距离 作者ID: 大规模柚子 发布日期: 马西莫·纳里扎诺;纳里扎诺,M。 外部链接: ORCID公司 已编制索引的文档: 14出版物自2001年起 合著者: 10位合著者具有14份联合出版物 326联合作者 全部的 前5名合著者 0 单作者的 13 阿曼多·塔切拉 11 恩里科·金西格里亚 三 卢卡·普利纳 2 马林,保罗 1 伊恩·菲利普·根特 1 丹尼尔·勒贝雷 1 克劳迪娅·佩希埃拉 1 安德鲁·罗利(Andrew G.D.Rowley)。 1 Laurent S.R.西蒙。 1 莫西·亚亚科夫·瓦尔迪 系列 1 人工智能 1 人工智能通信 1 人工智能研究杂志 1 计算机基础理论 1 可满足性、布尔建模与计算杂志 领域 13 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用113中的次72文件 引用人▼ 年份▼ 量化布尔公式评估中的子句/术语解析和学习。 Zbl 1183.68475号 Giunchiglia,E。;纳里扎诺,M。;塔切拉,A。 29 2006 量化布尔逻辑可满足性的回跳。 Zbl 1082.68795号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 21 2003 sQueezeBF:基于等价推理的有效QBF预处理器。 Zbl 1306.68157号 恩里科·金西格里亚;马林,保罗;马西莫·纳里扎诺 12 2010 QUBE:确定量化布尔公式可满足性的系统。 Zbl 0988.68598号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 12 2001 第三次QBF求解器评估报告。 Zbl 1116.68089号 马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉 9 2006 QuBE++:一个高效的QBF解算器。 Zbl 1117.68488号 恩里科·金西格里亚;马西莫·纳里扎诺;阿尔曼多·塔切拉 8 2004 评估和认证QBF:最先进工具的比较。 Zbl 1186.68440号 马西莫·纳里扎诺;克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉 8 2009 观察QBF解算器的数据结构。 Zbl 1204.68195号 伊恩·根特;恩里科·金西格里亚;马西莫·纳里扎诺;安德鲁·罗利;阿曼多·塔切拉 5 2004 第二个QBF解算器比较评估。 Zbl 1122.68608号 丹尼尔·勒贝雷;马西莫·纳里扎诺;洛朗·西蒙;阿曼多·塔切拉 三 2005 十二年的QBF评估:QSAT是PSPACE-困难的,它表明了这一点。 Zbl 1373.68380号 马林,保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科·金西格里亚 2 2016 定量布尔公式可满足性中的回跳和平凡真值分析。 Zbl 1007.68577号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 2 2001 基于真实世界实例的QBF推理。 兹比尔1122.68596 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 2 2005 十二年的QBF评估:QSAT是PSPACE-困难的,它表明了这一点。 Zbl 1373.68380号 马林,保罗;马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉;恩里科Giunchilia 2 2016 sQueezeBF:基于等价推理的有效QBF预处理器。 Zbl 1306.68157号 恩里科·金西格里亚;马林,保罗;马西莫·纳里扎诺 12 2010 评估和认证QBF:最先进工具的比较。 Zbl 1186.68440号 马西莫·纳里扎诺;克劳迪娅·佩希埃拉;卢卡·普利纳;阿曼多·塔切拉 8 2009 量化布尔公式评估中的子句/术语解析和学习。 Zbl 1183.68475号 Giunchiglia,E。;纳里扎诺,M。;塔切拉,A。 29 2006 第三次QBF解决方案评估报告。 Zbl 1116.68089号 马西莫·纳里扎诺;卢卡·普利纳;阿曼多·塔切拉 9 2006 第二个QBF解决方案的比较评估。 Zbl 1122.68608号 丹尼尔·勒贝雷;马西莫·纳里扎诺;洛朗·西蒙;阿曼多·塔切拉 三 2005 基于真实世界实例的QBF推理。 Zbl 1122.68596号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 2 2005 QuBE++:一个高效的QBF求解器。 Zbl 1117.68488号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 8 2004 观察QBF解算器的数据结构。 Zbl 1204.68195号 伊恩·根特;恩里科Giunchilia;马西莫·纳里扎诺;安德鲁·罗利;阿曼多·塔切拉 5 2004 量化布尔逻辑可满足性的回跳。 Zbl 1082.68795号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 21 2003 QUBE:确定量化布尔公式可满足性的系统。 Zbl 0988.68598号 恩里科·金西格里亚;马西莫·纳里扎诺;塔切拉,阿曼多 12 2001 定量布尔公式可满足性中的回跳和平凡真值分析。 Zbl 1007.68577号 恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名119位作者引用 10 弗洛里安·朗辛 8 马蒂娜·塞德尔 7 奥拉夫·拜尔斯多夫 7 埃格利,乌韦 6 阿明·比尔 4 米科拉什·亚诺塔 4 蒋洁红·罗兰 4 阿曼多·塔切拉 4 斯特凡·沃尔特兰 三 瓦莱里·巴拉巴诺夫 三 乔舒亚·布林霍恩 三 本杰明·伯姆 三 Joáo P.塞尔瓦侯爵。 三 卢卡·普利纳 三 克里斯托夫·斯科尔 三 弗里德里希·斯利沃夫斯基 三 斯泽德,斯特凡 2 法希姆·巴克斯 2 贝恩德·贝克尔 2 恩里科·金西格里亚 2 Heule,Marijn J.H。 2 卢克·欣德 2 汉斯·克莱恩·勃宁 2 米纳·马哈扬 2 马西莫·纳里扎诺 2 Peter W.南丁格尔。 2 汤姆·佩特尔 2 科斯塔斯·斯特乔 2 克里希纳·苏布拉马尼 2 拉尔夫·维默(Ralf D.Wimmer)。 2 Christoph M.温特斯泰格。 1 乔瓦尼·阿蒙多拉 1 奥费尔·阿列利 1 托马斯·巴利奥 1 菲利普·贝斯纳德 1 罗德里克·布洛姆 1 费迪南德·贝尔纳 1 尼古拉斯·布劳德·桑托尼 1 罗伯特·K·布雷顿。 1 Kenneth N.Brown。 1 莫里斯·布吕诺格 1 Randal E.布莱恩特。 1 乌韦·布贝克 1 安德烈·布拉托夫(Andrei A.Bulatov)。 1 陈,胡比 1 蒋慧菊凯瑟琳 1 克拉克(Edmund Melson jun Clarke)。 1 洛伦佐·克莱门特 1 拜伦·库克 1 纳迪亚·克里诺 1 达莫塔,贝诺特 1 达乌德,赫韦 1 莱昂纳多·德·莫拉 1 马克·德内克 1 帕夫洛斯·艾里纳基斯 1 托马斯·艾特 1 马丁·范策尔 1 Dov M.加巴伊。 1 伊恩·菲利普·根特 1 卡里娜·吉蒂娜 1 马克·戈里克 1 乔治·戈特洛布 1 亚历山大·古提亚耶娃 1 维达德·哈季奇 1 尤塞夫·哈马迪 1 迈克尔·哈蒂什 1 徐子建 1 亨特,安东尼 1 维姬·艾弗森 1 彼得·杰文斯(Peter G.Jeavons)。 1 王建安 1 周俊平 1 尤西拉,托尼 1 曼纽尔·考尔斯 1 威廉·克利伯 1 孔和元 1 罗马人孔查科夫 1 安德烈·克鲁金(Andrei A.Krokhin)。 1 马丁·克罗内格 1 丹尼尔·科宁 1 拉马纳·库马尔 1 昆查尔,Ondřej 1 李文江 1 马骏 1 理查德·梅尔(Richard M.Mayr)。 1 尹明浩 1 阿兰·米什琴科 1 西比尔·莫勒 1 珍妮弗·尼斯特 1 安德烈亚斯·普范德勒 1 莱因哈德·皮克勒 1 马库斯·拉贝。 1 弗朗西斯科·里卡 1 拉斐尔·罗西尼奥尔 1 安德鲁·罗利(Andrew G.D.Rowley)。 1 阮,达 1 萨尔瓦多鲁杰里 1 菲利普·吕默 1 桑吉特·阿伦库马尔·塞希亚 1 安吉特·舒克拉 …还有19位作者 全部的 前5名16篇连载文章中引用 8 人工智能 5 自动推理杂志 5 约束条件 4 理论计算机科学 4 系统设计中的形式化方法 三 数学与人工智能年鉴 三 计算机科学中的逻辑方法 2 信息与计算 2 工程中的数学问题 2 可满足性、布尔建模与计算杂志 1 离散应用数学 1 信息科学 1 Studia Logica公司 1 计算机与运筹学 1 计算系统理论 1 逻辑程序设计理论与实践 全部的 前5名在6个字段中引用 64 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文