编辑配置文件(在新选项卡中打开) 格恩瑟·查瓦特 合著者距离 作者ID: 焦土.松土 发布日期: 格恩瑟·查瓦特 已编制索引的文档: 7出版物自2014年起 合著者: 9合著者具有7联合出版物 133位合作作者 全部的 前5名合著者 0 单作者的 6 斯特凡·沃尔特兰 三 伯恩哈德·布利姆 2 Michael Abseher先生 2 弗雷德里科·杜斯伯格 2 马库斯·赫彻 1 沃尔夫冈·德沃亚克 1 莎拉·爱丽丝·加格尔 1 安德烈亚斯·普范德勒 1 约翰·彼得·沃纳 系列 2 计算机基础理论 1 人工智能 1 逻辑与计算杂志 领域 6 计算机科学(68至XX) 三 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用48中的次44文件 引用人▼ 年份▼ 解决抽象论证中推理问题的方法——综述。 Zbl 1328.68212号 格恩瑟·查瓦特;沃尔夫冈·德沃亚克;莎拉·加格尔(Sarah A.Gaggl)。;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 29 2015 D-FLAT\(^\wedge\)2:树分解动态规划中的子集最小化变得容易。 Zbl 1374.68490号 伯恩哈德·布利姆;格恩瑟·查瓦特;马库斯·赫彻;斯特凡·沃尔特兰 6 2016 树分解动态规划的D-FLAT系统。 兹比尔1432.68053 Michael Abseher先生;伯恩哈德·布利姆;格恩瑟·查瓦特;弗雷德里科·杜斯伯格;马库斯·赫彻;斯特凡·沃尔特兰 6 2014 基于扩展的树分解QBF求解。 Zbl 1415.68111号 格恩瑟·查瓦特;斯特凡·沃尔特兰 5 2019 Democratix:一种宣告性的决胜方法。 Zbl 1405.91146号 格恩瑟·查瓦特;安德烈亚斯·普范德勒 2 2015 基于扩展的树分解QBF求解。 Zbl 1415.68111号 格恩瑟·查瓦特;斯特凡·沃尔特兰 5 2019 D-FLAT\(^\wedge\)2:树分解动态规划中的子集最小化变得容易。 Zbl 1374.68490号 伯恩哈德·布利姆;格恩瑟·查瓦特;马库斯·赫彻;斯特凡·沃尔特兰 6 2016 解决抽象论证中推理问题的方法——综述。 Zbl 1328.68212号 格恩瑟·查瓦特;沃尔夫冈·德沃亚克;莎拉·加格尔。;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 29 2015 Democratix:一种宣告性的决胜方法。 Zbl 1405.91146号 格恩瑟·查瓦特;安德烈亚斯·普范德勒 2 2015 树分解动态规划的D-FLAT系统。 兹比尔1432.68053 Michael Abseher先生;伯恩哈德·布利姆;格恩瑟·查瓦特;弗雷德里科·杜斯伯格;马库斯·赫彻;斯特凡·沃尔特兰 6 2014 所有引用出版物 前5名被引用出版物 全部的 前5名82位作者引用 10 斯特凡·沃尔特兰 5 马库斯·赫彻 4 约翰·克劳斯·费希特 三 凯蒂·阿特金森 三 伯恩哈德·布利姆 三 西尔维·多特 三 贝蒂娜·法辛加 三 托马斯·林斯比勒 三 约翰·彼得·沃纳 2 费德里科·塞鲁蒂 2 保罗·E·邓恩。 2 穆罕默德·埃拉鲁西 2 塞尔吉奥·弗莱斯卡 2 莎拉·爱丽丝·加格尔 2 马西米利亚诺·贾科明 2 安德烈亚斯·赫齐格 2 马可·马拉提亚 2 萨默·诺法尔 2 努林,Lhouari 2 弗朗切斯科·帕里西 2 穆罕默德·赛义德·拉杰夫 2 克劳迪娅·舒尔茨 2 马蒂亚斯·蒂姆 2 弗朗西丝卡·托尼 2 毛罗·瓦拉蒂 1 艾特·费哈特(Ait-Ferhat,Dehia) 1 阿米莉亚,拜迪奇 1 拜迪奇,科斯汀 1 马克斯·班纳赫 1 Trevor J.M.Bench-Capon。 1 塞巴斯蒂安·伯恩特 1 菲利普·贝斯纳德 1 格哈德·布鲁卡 1 科斯米纳克罗托鲁 1 马达琳娜·克罗伊托鲁 1 卡斯滕·迪霍夫 1 马丁·迪勒 1 杰弗里·杜德克。 1 沃尔夫冈·德沃亚克 1 菲利波·富法罗 1 安德烈亚·加拉西 1 塞尔盖·加斯佩斯 1 马丁·格布瑟 1 塞尔吉奥·格雷科 1 亚历山大·格雷勒 1 格奥尔格·海森伯格 1 安东尼·亨特 1 米尔贾纳·伊万诺维奇 1 文森特·朱利亚德 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 迈克尔·克里斯滕 1 乔纳斯·克雷默 1 Marie-Christine,Lagasquie-Schiex 1 李、雷 1 刘磊 1 鲁帅 1 诺伯特·曼恩 1 迈克尔·莫拉克 1 胡安·卡洛斯·尼维斯 1 安德烈亚斯·尼斯卡宁 1 当当牛 1 毛里西奥·奥索里奥。 1 劳伦特·佩鲁塞尔 1 Vu H.N.Phan。 1 安娜·拉贝格 1 亚历山德罗·隆卡 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 伊琳娜·辛德勒 1 戈蒂埃·斯塔弗 1 谭丽星 1 Leander Tentrup公司 1 帕特里克·蒂尔 1 胡安·安德烈斯·托雷斯 1 保罗·托罗尼 1 莫西·亚亚科夫·瓦尔迪 1 塞雷娜·维拉塔 1 西蒙·维尔明 1 王福军 1 张金金 1 朱兆辉 1 马库斯·齐塞尔 全部的 前5名11篇连载文章中引用 9 人工智能 6 国际近似推理杂志 5 逻辑程序设计理论与实践 2 信息处理信件 2 AI通信 2 数学与人工智能年鉴 1 运营研究信件 1 算法 1 信息与计算 1 应用非经典逻辑杂志 1 可满足性、布尔建模与计算杂志 全部的 前5名在7个字段中引用 42 计算机科学(68至XX) 4 组合数学(05-XX) 4 运筹学、数学规划(90-XX) 三 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文