编辑配置文件(在新选项卡中打开) 马库斯·赫彻 合著者距离 作者ID: 赫切尔·马尔库斯 发布日期: 马库斯·赫彻 编入索引的文档: 21出版物自2014年起,包括1本书和1个附加arXiv预打印 合著者: 24位合著者具有19联合出版物 299合著作者 全部的 前5名合著者 2 单一作者 15 约翰·克劳斯·费希特 10 斯特凡·沃尔特兰 4 迈克尔·莫拉克 三 帕特里克·蒂尔 2 伯恩哈德·布利姆 2 格恩瑟·查瓦特 2 伊琳娜·辛德勒 1 Michael Abseher先生 1 马里奥·阿尔维亚诺 1 维克托·贝辛 1 里德万·德沃波拉沃 1 卡明·多达罗 1 弗雷德里科·杜斯伯格 1 Dzulfikar,M.Ayaz 1 莎拉·爱丽丝·加格尔 1 罗伯特·加尼安 1 彼得·杰尔齐·戈尔奇卡 1 塞巴斯蒂安·奥德尼亚克 1 安德烈亚斯·普范德勒 1 托拜厄斯·菲利普 1 雅各布·拉特 1 多米尼克·鲁索瓦茨 1 弗里德里希·斯利沃夫斯基 1 马库斯·齐塞尔 系列 三 逻辑程序设计理论与实践 2 人工智能 1 信息与计算 1 计算机基础理论 1 人工智能和应用的前沿 领域 20 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用74中的次31文件 引用人▼ 年份▼ 重访有界树宽的答案集求解。 Zbl 1491.68042号 约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 10 2017 利用树宽进行投影模型计数及其限制。 Zbl 1511.68195号 约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 9 2018 通过抽象、嵌套动态编程和数据库技术来适应高树宽。 Zbl 07331032号 马库斯·赫彻;帕特里克·蒂尔;斯特凡·沃尔特兰 8 2020 DynASP2.5:关于树分解的动态编程。 Zbl 1443.68164号 约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 8 2018 有界树宽的QBF的下限。 Zbl 07299485号 约翰·费希特。;马库斯·赫彻;安德烈亚斯·普范德勒 6 2020 D-FLAT\(^\wedge\)2:树分解动态规划中的子集最小化变得容易。 Zbl 1374.68490号 伯恩哈德·布利姆;格恩瑟·查瓦特;马库斯·赫彻;斯特凡·沃特兰 6 2016 树分解动态规划的D-FLAT系统。 Zbl 1432.68053号 Michael Abseher先生;伯恩哈德·布利姆;格恩瑟·查瓦特;弗雷德里科·杜斯伯格;马库斯·赫彻;斯特凡·沃尔特兰 6 2014 2019年PACE参数化算法和计算实验挑战:第四次迭代(特邀论文)。 Zbl 07650233号 Dzulfikar,M.Ayaz;约翰·费希特。;马库斯·赫彻 6 2019 通过利用小树宽在GPU上计算加权模型。 Zbl 1524.68343号 约翰·费希特。;马库斯·赫彻;斯特凡·沃尔特兰;马库斯·齐塞尔 三 2018 默认逻辑和有界树宽度。 Zbl 1504.68209号 约翰·费希特。;马库斯·赫彻;伊琳娜·辛德勒 三 2018 ASP的不一致性证明:ASP-DRUPE格式。 兹比尔1434.68065 马里奥·阿尔维亚诺;卡明·多达罗;约翰·费希特。;马库斯·赫彻;托拜厄斯·菲利普;雅各布·拉特 2 2019 利用树宽对认知逻辑程序进行定量推理。 Zbl 1522.68100号 维克多·贝辛;马库斯·赫彻;斯特凡·沃尔特兰 2 2021 树宽和计算投影答案集。 兹比尔1522.68111 费希特,约翰尼斯·K。;马库斯·赫彻 2 2019 默认逻辑和有界树宽度。 Zbl 07488448号 约翰·费希特。;马库斯·赫彻;伊琳娜·辛德勒 1 2022 通过动态编程计算Dung扩展的实用说明。 Zbl 07671903号 里德万·德沃波拉沃;约翰·克劳斯·费希特;彼得·杰尔齐·戈尔奇卡;马库斯·赫彻 1 2022 利用数据库管理系统和树宽度进行计数。 Zbl 1530.68067号 约翰·费希特。;马库斯·赫彻;帕特里克·蒂尔;斯特凡·沃尔特兰 1 2022 默认逻辑和有界树宽度。 Zbl 07488448号 约翰·费希特。;马库斯·赫彻;伊琳娜·辛德勒 1 2022 通过动态编程计算Dung扩展的实用说明。 Zbl 07671903号 Ridhwan Dewoprabowo公司;约翰·克劳斯·费希特;彼得·杰尔齐·戈尔奇卡;马库斯·赫彻 1 2022 利用数据库管理系统和树宽度进行计数。 Zbl 1530.68067号 约翰·费希特。;马库斯·赫彻;帕特里克·蒂尔;斯特凡·沃尔特兰 1 2022 利用树宽对认知逻辑程序进行定量推理。 兹比尔1522.68100 维克托·贝辛;马库斯·赫彻;斯特凡·沃尔特兰 2 2021 通过抽象、嵌套动态编程和数据库技术来适应高树宽。 Zbl 07331032号 马库斯·赫彻;帕特里克·蒂尔;斯特凡·沃尔特兰 8 2020 有界树宽的QBF的下限。 Zbl 07299485号 约翰·费希特。;马库斯·赫彻;安德烈亚斯·普范德勒 6 2020 2019年PACE参数化算法和计算实验挑战:第四次迭代(特邀论文)。 Zbl 07650233号 Dzulfikar,M.Ayaz;约翰·费希特。;马库斯·赫彻 6 2019 ASP的不一致性证明:ASP-DRUPE格式。 Zbl 1434.68065号 马里奥·阿尔维亚诺;卡明·多达罗;约翰·费希特。;马库斯·赫彻;托拜厄斯·菲利普;雅各布·拉特 2 2019 树宽和计算投影答案集。 Zbl 1522.68111号 费希特,约翰尼斯·K。;马库斯·赫彻 2 2019 利用树宽进行投影模型计数及其限制。 Zbl 1511.68195号 约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 9 2018 DynASP2.5:关于树分解的动态编程。 Zbl 1443.68164号 约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 8 2018 通过利用小树宽在GPU上计算加权模型。 Zbl 1524.68343号 约翰·费希特。;马库斯·赫彻;斯特凡·沃尔特兰;马库斯·齐塞尔 三 2018 默认逻辑和有界树宽度。 Zbl 1504.68209号 约翰·费希特。;马库斯·赫彻;伊琳娜·辛德勒 三 2018 重访有界树宽的答案集求解。 Zbl 1491.68042号 约翰·费希特。;马库斯·赫彻;迈克尔·莫拉克;斯特凡·沃尔特兰 10 2017 D-FLAT\(^\wedge\)2:树分解动态规划中的子集最小化变得容易。 Zbl 1374.68490号 伯恩哈德·布利姆;格恩瑟·查瓦特;马库斯·赫彻;斯特凡·沃尔特兰 6 2016 树分解动态规划的D-FLAT系统。 兹比尔1432.68053 Michael Abseher先生;伯恩哈德·布利姆;格恩瑟·查瓦特;弗雷德里科·杜斯伯格;马库斯·赫彻;斯特凡·沃尔特兰 6 2014 所有引用出版物 前5名被引用出版物 全部的 前5名64位作者引用 8 马库斯·赫彻 8 斯特凡·沃尔特兰 7 约翰·克劳斯·费希特 三 伯恩哈德布利姆 2 迈克尔·莫拉克 2 帕特里克·蒂尔 1 艾特·费哈特(Ait-Ferhat,Dehia) 1 乔瓦尼·阿蒙多拉 1 马克斯·班纳赫 1 托拜厄斯·贝雷 1 塞巴斯蒂安·伯恩特 1 维克多·贝辛 1 爱德华·博内 1 佛罗伦萨卡佩利 1 罗伯特·D·卡尔。 1 戴尔、霍尔格 1 里德万·德沃波拉沃 1 保利乌斯·迪尔卡斯 1 收款人,Huib 1 杰弗里·杜德克。 1 托马斯·艾特 1 马丁·格布瑟 1 彼得·杰尔齐·戈尔奇卡 1 乔治·戈特洛布 1 阿拉什·哈达丹 1 Bart M.P.Jansen。 1 文森特·朱利亚德 1 罗兰·卡明斯基 1 本杰明·考夫曼 1 克里斯蒂安·科穆塞维茨 1 科瓦利克,乌卡斯 1 马丁·克罗内格 1 让-马里·拉格尼兹 1 林方珍 1 伊曼纽尔·隆卡 1 皮埃尔·侯爵 1 卡洛斯·马丁·维德 1 斯特凡·门格尔 1 马钦·穆查 1 沃伊切赫·纳达拉 1 塞姆·奥库莫斯 1 Vu H.N.Phan。 1 辛西娅·菲利普斯。 1 莱因哈德·皮克勒 1 皮利普祖克,马钦L。 1 弗朗西斯科·里卡 1 托尔斯滕·绍布(Torsten H.Schaub)。 1 安德烈·希德勒 1 伊琳娜·辛德勒 1 弗洛里安·西科拉 1 曼纽尔·索尔吉 1 戈蒂埃·斯塔弗 1 斯泽德,斯特凡 1 尼姆罗德·塔尔蒙 1 Leander Tentrup公司 1 胡安·安德烈斯·托雷斯 1 比安卡·特鲁特 1 莫西·亚亚科夫·瓦尔迪 1 约翰·彼得·沃纳 1 王一松 1 马蒂亚斯·韦勒 1 彼得·维戈奇·维戈奇 1 张元林 1 马库斯·齐塞尔 全部的 前5名10篇连载文章中引用 4 人工智能 三 逻辑程序设计理论与实践 2 信息与计算 1 运营研究信件 1 算法 1 数学与人工智能年鉴 1 约束条件 1 ACM计算逻辑事务 1 离散优化 1 可满足性、布尔建模与计算杂志 全部的 前5名在6个字段中引用 29 计算机科学(68至XX) 6 运筹学、数学规划(90-XX) 4 组合数学(05-XX) 三 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 按年份列出的引文