×
作者ID: 焦土.松土近期zbMATH文章由“Charwat,Günther”撰写
发布日期: 格恩瑟·查瓦特
已编制索引的文档: 7出版物自2014年起
合著者: 9合著者具有7联合出版物
133位合作作者

按年份列出的出版物

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名

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 马库斯·齐塞尔

按年份列出的引文