编辑配置文件（在新选项卡中打开） 阿米特·戈尔 合著者距离 作者ID： 戈勒·阿米特 发布日期： 阿米特·戈尔 已编制索引的文档： 11出版物自2000年以来，包括1个附加arXiv预打印 合著者： 15位合著者具有9联合出版物 394位合作作者 全部的 前5名合著者 0 单作者的 6 萨瓦·A·克里斯蒂。 5 塞萨尔·蒂内利 三 吉姆·格兰迪 2 Randal E.布莱恩特。 2 富克斯，亚历山大 1 克拉克·W·巴雷特。 1 Deters，摩根 1 弗雷德里克·坎克（Frederick A.Kamke）。 1 拉希里、舒文杜·库马尔 1 君士坦丁·法努里奥 1 安德鲁·雷诺兹 1 卡尔文·里本斯。 1 克利福德·A·沙弗。 1 穆拉利达尔·塔卢普尔 1 莱恩·特里·沃森 系列 1 算法 1 计算机科学中的逻辑方法 领域 9 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用71中的次59文件 引用人▼ 年份▼ SAT模理论的体系结构求解器：Nelson-Oppen与DPLL。 Zbl 1148.68466号 萨瓦·克里斯蒂奇；阿米特·高尔 16 2007 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹；塞萨尔·蒂内利；阿米特·戈尔；萨瓦·克里斯蒂奇；Deters，摩根；克拉克·巴雷特 16 2013 组合的可满足性模参数理论。 Zbl 1186.68297号 萨瓦·克里斯蒂奇；阿米特·戈尔；吉姆·格兰迪；塞萨尔·蒂内利 12 2007 等式理论的地面插值。 Zbl 1234.68257号 富克斯，亚历山大；阿米特·戈尔；吉姆·格兰迪；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 11 2009 组合理论的地面插值。 Zbl 1250.68188号 阿米特·戈尔；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 11 2009 重新审视积极平等。 Zbl 1126.68570号 Lahiri，Shuvendu K。；Randal E.布莱恩特。；阿米特·戈尔；穆拉利达尔·塔卢普尔 三 2004 平等理论的地面插值。 Zbl 1239.03022号 富克斯，亚历山大；阿米特·戈尔；吉姆·格兰迪；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 2 2012 将贪婪组播路由扩展到延迟敏感应用程序。 Zbl 0994.68181号 A.戈尔。；K.穆纳加拉。 1 2002 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹；塞萨尔·蒂内利；阿米特·戈尔；萨瓦·克里斯蒂奇；Deters，摩根；克拉克·巴雷特 16 2013 平等理论的地面插值。 Zbl 1239.03022号 富克斯，亚历山大；阿米特·戈尔；吉姆·格兰迪；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 2 2012 平等理论的地面插值。 Zbl 1234.68257号 富克斯，亚历山大；阿米特·戈尔；吉姆·格兰迪；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 11 2009 组合理论的地面插值。 Zbl 1250.68188号 阿米特·戈尔；萨瓦·克里斯蒂奇；塞萨尔·蒂内利 11 2009 SAT模理论的体系结构求解器：Nelson-Oppen与DPLL。 Zbl 1148.68466号 萨瓦·克里斯蒂奇；阿米特·高尔 16 2007 组合可满足性模参数理论。 Zbl 1186.68297号 萨瓦·克里斯蒂奇；阿米特·高尔；吉姆·格兰迪；塞萨尔·蒂内利 12 2007 重新审视积极平等。 Zbl 1126.68570号 Lahiri，Shuvendu K。；Randal E.布莱恩特。；阿米特·高尔；穆拉利达尔·塔卢普尔 三 2004 将贪婪组播路由扩展到延迟敏感应用程序。 Zbl 0994.68181号 A.戈尔。；K.穆纳加拉。 1 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名被105位作者引用 11 安德鲁·雷诺兹 10 克拉克·W·巴雷特。 10 塞萨尔·蒂内利 6 玛丽亚·保拉（Maria Paola Bonacina） 5 贾斯敏·克里斯蒂安·布兰切特 5 罗伯托·布鲁托梅索 4 莱昂纳多·德·莫拉 4 克里斯托夫·林盖森 4 盛英 4 尤尼·佐哈尔 三 亚历山德罗·西马蒂 三 帕斯卡·方丹 三 西尔维奥·吉拉尔迪 三 阿尔贝托·格里乔 三 穆阿·约翰逊 三 维克多·昆卡 三 菲利普·马里奇 三 罗伯托·塞巴斯蒂亚尼 2 班科维奇，米兰 2 哈尼尔·巴博萨 2 尼古拉·S·比约纳。 2 圣菲省格拉汉·伦格兰德 2 简·兰格 2 何塞·梅塞盖尔·瓜伊塔 2 鲁齐卡皮斯卡 2 西尔维奥·兰伊斯 2 菲利普·吕默 2 Natarajan Shankar 2 娜塔莎·莎莉吉娜 2 斯蒂芬·斯基里克 2 阿伦·斯塔姆 2 托马斯·怀斯 1 萨伊德·阿贝德 1 奥特曼·阿伊特·穆罕默德 1 弗朗西斯科·阿尔贝蒂 1 亚历山德罗·阿塔尔 1 彼得·贝克曼 1 曼纽尔·博迪尔斯基 1 安吉洛·布里洛特 1 Cheng，Xi（西成） 1 马克西米利亚诺·克里斯蒂亚 1 西蒙·克鲁恩斯 1 Deters，摩根 1 伊凡·德雷村 1 加布里埃尔·埃布纳 1 穆纳乔·埃切宁 1 丹尼尔·欧拉维 1 约塔姆·M·Y·费尔德曼。 1 马蒂亚斯·弗勒里 1 安德斯·弗朗森 1 阿米特·戈尔 1 约翰内斯·格雷纳 1 林赛·格罗夫斯。 1 哈达伦，莉安娜 1 花冈、果一郎 1 甘纳·哈东 1 胡亚伦·J·。 1 尼尔·伊梅尔曼 1 德扬·约瓦诺维奇 1 让·克里斯托夫·荣格 1 Kaidel，比约恩 1 福崎北川 1 亚历山大·科赫。 1 杰西卡·科赫 1 丹尼尔·科宁 1 萨瓦·A·克里斯蒂。 1 彼得·兰米奇 1 Le，Thi Thieu Hoa先生 1 高弘松田 1 安德烈亚·马祖洛 1 亚辛·莫赫塔里 1 艾娜·尼梅茨 1 Oe，Duckki（杜基·欧） 1 安娜·奥扎基 1 奥德·帕顿 1 大卫·J·皮尔斯。 1 马蒂亚斯·普雷纳 1 茨沃尼米尔·拉卡马里奇 1 约夫·罗德 1 西蒙·富尔维奥·罗里尼 1 吉安弗兰科·罗西 1 安迪·鲁普 1 安德烈·里巴尔琴科 1 雅库布·里德瓦尔 1 穆利·萨吉夫 1 马蒂亚斯·施莱普费尔 1 沙龙·肖姆 1 维奥里卡Sofrone-Stokkerman 1 宋晓宇 1 罗宾·斯泰格 1 斯特里赫曼（Ofer Strichman） 1 孙家光 1 菲利普·苏特 1 索菲涅·塔哈尔 1 田中庆介 1 Nishant Totla公司 1 索菲·托雷特 1 阿里亚克西·齐托维奇 1 马克·乌廷 1 托马斯·沃尔 …还有5位作者 全部的 前5名13篇连载文章中引用 16 自动推理杂志 4 系统设计中的形式化方法 2 符号计算杂志 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 人工智能 1 理论计算机科学 1 计算机科学与技术杂志 1 信息与计算 1 数学与人工智能年鉴 1 约束条件 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 55 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 2 信息和通信理论，电路（94-XX） 1 场论和多项式（12-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文