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