编辑配置文件(在新选项卡中打开) 乔治·黑根 合著者距离 作者ID: 哈根·乔治 发布日期: 乔治·黑根 已编制索引的文档: 5出版物自2004年以来,包括1个附加arXiv预打印 合著者: 4位合著者具有1联合出版物 134位合作作者 全部的 前5名合著者 0 单作者的 三 莫顿Hjorth-Jensen 2 托马斯·帕彭布罗克 2 J.S.瓦根。 1 巴维尔·达涅列维奇 1 迪安·D·J。 1 哈拉尔德·甘辛格 1 J.R.古尔。 1 罗伯特·纽文胡斯 1 阿尔伯特·奥利弗拉斯 1 彼得·皮埃库奇 1 J.罗图鲁。 1 塞萨尔·蒂内利 1 Włoch,M。 系列 1 国际现代物理杂志B 1 物理杂志A:数学与普通 领域 三 量子理论(81-XX) 2 偏微分方程(35-XX) 1 统计学(62-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用47中的次47文件 引用人▼ 年份▼ DPLL(\(T\)):快速决策程序。 Zbl 1103.68616号 哈拉尔德·甘辛格;乔治·黑根;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 47 2004 动量空间中的轮廓变形方法,应用于亚原子物理。 Zbl 1055.81077号 Hagen,G。;J.S.瓦根。;Hjorth-Jensen,M。 4 2004 DPLL(\(T\)):快速决策程序。 Zbl 1103.68616号 哈拉尔德·甘辛格;乔治·黑根;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;塞萨尔·蒂内利 47 2004 动量空间中的轮廓变形方法,应用于亚原子物理。 Zbl 1055.81077号 G.哈根。;J.S.瓦根。;Hjorth-Jensen,M。 4 2004 所有引用出版物 前5名被引用出版物 全部的 前5名被100位作者引用 5 克拉克·W·巴雷特。 4 安德鲁·雷诺兹 三 贾斯敏·克里斯蒂安·布兰切特 三 罗伯特·布鲁托梅索 三 亚历山德罗·西马蒂 三 莱昂纳多·德·莫拉 三 丹尼尔·科宁 三 罗伯托·塞巴斯蒂亚尼 三 塞萨尔·蒂内利 2 班科维奇,米兰 2 马可·波扎诺 2 布莱特,柯蒂斯 2 杰根,基督 2 维杰·加内什 2 阿尔贝托·格里乔 2 Jochen Hoenicke公司 2 汤米·A·琼蒂拉。 2 科齐里亚斯(Ilias S.Kotsireas)。 2 科瓦奇,劳拉·伊尔迪科 2 安德烈亚斯·梅耶 2 罗伯特·纽文胡斯 2 西尔维奥·兰伊斯 2 雅各布·拉特 2 沃尔克·索尔格 2 斯特里赫曼(Ofer Strichman) 2 阿伦·斯塔姆 2 阿什什·库马尔·蒂瓦里 2 彼得·范·罗苏姆 2 克里斯托夫·韦登巴赫 1 亚历山德罗·阿巴特 1 托拜厄斯·阿切特伯格 1 罗伯托·阿马迪尼 1 巴哈雷赫巴德班 1 安妮迪亚·班纳吉 1 哈尼尔·巴博萨 1 尼古拉·S·比约纳。 1 Böhme,萨沙 1 玛丽亚·保拉(Maria Paola Bonacina) 1 布莱恩,马丁 1 马丁·布隆伯格 1 赫莱内·科拉维扎 1 西蒙·科尔顿 1 克里斯蒂娜·大卫 1 戴维·戴哈贝 1 德拉戈米尔·奥科维奇。 1 罗尔夫·德雷克斯勒 1 维杰·迪尔瓦 1 穆纳乔·埃切宁 1 安德烈亚斯·艾格斯 1 马蒂亚斯·弗勒里 1 安德斯·弗朗森 1 Fränzle,马丁 1 格雷姆·恒河 1 葛叶婷 1 格雷斯,伯恩哈德 1 利奥波德·哈勒 1 克里斯蒂安·赫尔德 1 佩特拉·霍佐娃 1 拉杜·奥西夫 1 迪帕克·卡普尔 1 帕斯卡·凯塞利 1 帕特里克·D·林肯。 1 小斯科特 1 刘盛 1 马,菲菲 1 Manolios,Panagiotis公司 1 罗伊·麦卡斯兰德。 1 米夏·莫斯卡尔 1 克里斯·迈尔斯(Chris J.Myers)。 1 戴维·诺曼(David A.Naumann)。 1 阿尔伯特·奥利弗拉斯 1 伊丽莎白·波尔格林 1 斯坦·罗森博格 1 罗扎诺夫、米伦 1 米歇尔·鲁赫 1 亚历杭德罗·桑切斯。 1 塞萨尔·桑切斯 1 舒尔特,Wolfram 1 斯蒂芬·舒尔茨 1 西蒙·施瓦兹 1 塞尔维亚人,克里斯蒂娜 1 马蒂亚斯·苏肯 1 斯里尼瓦桑,苏达尔山·库马尔 1 彼得·詹姆斯·斯塔基 1 Ta、Quang-Trung 1 德坎·特兰 1 奥尔加·特维雷蒂纳 1 范德波尔,扬·科内利斯 1 帕斯卡·范·亨特利克 1 约旦维达尔 1 马可·沃伊格特 1 安德烈·沃伦科夫 1 乌韦·沃尔德曼 1 大卫·沃尔特 1 丹尼尔·旺德 1 莱因哈德·威廉 1 罗伯特·威利 1 沃尔夫,伯克哈特 1 汉斯·赞特马 1 张健 全部的 前5名11篇连载文章中引用 11 自动推理杂志 三 信息与计算 三 系统设计中的形式化方法 三 数学与人工智能年鉴 2 约束条件 1 信息学报 1 人工智能 1 符号计算杂志 1 计算的形式方面 1 计算机科学中的逻辑方法 1 数学规划计算 全部的 前5名在7个字段中引用 47 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 1 数值分析(65-XX) 1 数学教育(97-XX) 按年份列出的引文