编辑配置文件（在新选项卡中打开） 马丁·苏达 合著者距离 作者ID： 苏丹·马丁 发布日期： 马丁·苏达 已编制索引的文档： 33出版物自2005年以来 1名编辑贡献 合著者： 34位合著者具有26联合出版物 588合著作者 全部的 前5名合著者 5 单作者的 6 贾尔斯·里格尔 5 安德烈·沃伦科夫 三 格雷斯，伯恩哈德 三 克里斯托夫·韦登巴赫 2 奥拉夫·拜尔斯多夫 2 勒罗伊·周 2 卡雷尔·奇瓦洛夫斯克 2 安德烈亚斯·费德里齐 2 Jakubův，简 2 本杰明·基尔 2 托马斯·洛伦瑟 2 迈克尔·Nölle 2 克里斯托夫·帕彻 2 A.波普。 2 雷娜特·施密特（Renate A.Schmidt）。 2 约瑟夫·乌尔班 2 鲁珀特·乌尔辛 2 安东·泽林格 1 菲利普·巴特克 1 阿明·比尔 1 乔舒亚·布林霍恩 1 杰拉尔德·迪奥尔 1 米洛斯拉夫·杜舍克 1 弗罗莱克斯，尼尔斯 1 Heule，Marijn J.H。 1 弗洛里安·希普 1 霍德、克里什托夫 1 马库斯·伊泽尔 1 米科拉什·亚诺塔 1 马蒂·Järvisalo 1 克里斯蒂安·科尔米策 1 科瓦奇，劳拉·伊尔迪科 1 O·莫哈特。 1 奥利弗·莫哈特 1 米拉莱姆·梅希 1 米罗斯拉夫·奥沙克 1 斯特凡·佩施加尼格 1 巴托斯·彼得罗夫斯基 1 阿德里安·雷博拉·帕多 1 马丁·里纳 1 乌利·萨特勒 1 斯特凡·绍尔 1 马蒂娜·塞德尔 1 汤比思，汉斯 1 帕特里克·维什内夫斯基 全部的 前5名系列 三 国际量子信息杂志 1 人工智能 1 自动推理杂志 1 人工智能研究杂志 1 量子信息处理 1 计算机科学讲义 1 计算机科学中的数学 全部的 前5名领域 26 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 5 量子理论（81-XX） 4 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 数值分析（65-XX） 1 光学、电磁理论（78-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用135中的次90文件 引用人▼ 年份▼ 玩阿凡达。 Zbl 1465.68295号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 17 2015 ENIGMA-NG：针对\（\mathrm{E}\）的高效神经和梯度支持推理指南。 兹伯利07178977 卡雷尔·切瓦洛夫斯克;Jakubův，简;马丁·苏达;约瑟夫·乌尔班 15 2019 关于YAGO的饱和度。 Zbl 1291.68372号 马丁·苏达;克里斯托夫·韦登巴赫;帕特里克·维什内夫斯基 11 2010 ENIGMA anonymous：符号相关推理引导机（系统描述）。 Zbl 07614690号 Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 11 2020 选择所选项。 Zbl 1475.68436号 霍德、克里什托夫;贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 10 2016 理论推理的分层子句选择（短文）。 Zbl 07614525号 格雷斯，伯恩哈德;马丁·苏达 9 2020 2020年SAT竞赛。 Zbl 1478.68320号 弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 8 2021 基于标记叠加和部分模型制导的PLTL保护器。 Zbl 1358.68266号 马丁·苏达;克里斯托夫·韦登巴赫 8 2012 一种新的协议验证算法，排除了量子密码中的中间人攻击。 Zbl 1066.94015号 佩夫，M。;Nölle，M。;O·莫哈特。;T·洛伦瑟。;M.苏达。;A.波普。;R.乌尔辛。;费德里齐，A。;Zeilinger，A。 6 2005 一阶逻辑中的阻塞子句。 Zbl 1403.68240号 本杰明·基尔;马丁·苏达;塞德尔，玛蒂娜;汤比思，汉斯;阿明·比尔 6 2017 在基于饱和的推理中与抽象和理论实例化相统一。 兹比尔1423.68424 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 6 2018 一阶逻辑中子句消除的统一原则。 Zbl 1496.03048号 本杰明·基尔;马丁·苏达 5 2017 在多分类一阶逻辑中寻找有限模型。 Zbl 1475.68447号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 4 2016 将QBF分辨率计算提升到DQBF。 Zbl 1475.68431号 奥拉夫·拜尔斯多夫;勒罗伊·周;雷娜特·施密特（Renate A.Schmidt）。;马丁·苏达 4 2016 重新解释依赖方案：DQBF中的健全性和不完整性。 Zbl 1468.03008号 奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;勒罗伊·周;雷娜特·施密特;马丁·苏达 三 2019 QBF计算的局部可靠性。 Zbl 1508.03045号 马丁·苏达;格雷斯，伯恩哈德 三 2018 对“一种新型协议验证算法排除了量子密码中的人在中间的攻击”漏洞的回应。 Zbl 1182.94045号 佩夫，M。;C·帕彻。;T·洛伦瑟。;Nölle，M。;A.波普。;O·莫哈特。;M.苏达。;费德里齐，A。;R.乌尔辛。;Zeilinger，A。 2 2009 PLTL的标签叠加。 Zbl 1352.68164号 马丁·苏达;克里斯托夫·韦登巴赫 2 2012 量子随机数生成。 Zbl 07216552号 克里斯蒂安·科尔米策;斯特凡·佩沙尔尼格;马丁·苏达;米拉姆·梅希奇 2 2020 一种针对纠缠交换QKD协议的新型攻击策略。 Zbl 1153.81474号 斯特凡·绍尔;马丁·苏达 2 2008 面向酒店的自动化规划可达性。 Zbl 1361.68208号 马丁·苏达 2 2014 SAT求解中保持可满足性证明的理论。 Zbl 1415.68203号 阿德里安·雷博拉·帕多;马丁·苏达 2 2018 在学习历史的同时改进谜式从句的选择。 Zbl 07437099号 马丁·苏达 1 2021 LTL可满足性检查的变量和子句消除。 Zbl 1341.68197号 马丁·苏达 1 2015 MACE型有限元模型求解中的对称避免。 Zbl 1435.68305号 贾尔斯·里格尔;马丁·里纳;马丁·苏达 1 2019 面向更智能的MACE型模型发现者。 Zbl 1415.68194号 米科拉什·亚诺塔;马丁·苏达 1 2018 吸血鬼变得吵闹：随机比特有助于征服混乱吗？（系统描述）。 Zbl 07628214号 马丁·苏达 1 2022 吸血鬼发出噪音：随机比特有助于征服混乱吗？（系统描述）。 Zbl 07628214号 马丁·苏达 1 2022 2020年SAT竞赛。 Zbl 1478.68320号 弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 8 2021 在学习历史的同时改进谜式从句的选择。 Zbl 07437099号 马丁·苏达 1 2021 ENIGMA anonymous：符号相关推理引导机（系统描述）。 Zbl 07614690号 Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托什·皮奥特洛夫斯基;马丁·苏达;约瑟夫·乌尔班 11 2020 用于理论推理的分层子句选择（短文）。 兹伯利07614525 格雷斯，伯恩哈德;马丁·苏达 9 2020 量子随机数生成。 Zbl 07216552号 克里斯蒂安·科尔米策;斯特凡·佩施加尼格;马丁·苏达;米拉莱姆·梅希 2 2020 ENIGMA-NG：针对\（\mathrm{E}\）的高效神经和梯度支持推理指南。 Zbl 07178977号 卡雷尔·奇瓦洛夫斯克;Jakubův，简;马丁·苏达;约瑟夫·乌尔班 15 2019 重新解释依赖方案：DQBF中的健全性和不完整性。 Zbl 1468.03008号 奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;勒罗伊·周;雷娜特·施密特;马丁·苏达 三 2019 MACE型有限元模型求解中的对称避免。 Zbl 1435.68305号 贾尔斯·里格尔;马丁·里纳;马丁·苏达 1 2019 在基于饱和的推理中统一抽象和理论实例化。 Zbl 1423.68424号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 6 2018 QBF计算的局部可靠性。 Zbl 1508.03045号 马丁·苏达;格雷斯，伯恩哈德 三 2018 SAT求解中保持可满足性证明的理论。 Zbl 1415.68203号 阿德里安·雷博拉·帕多;马丁·苏达 2 2018 面向更智能的MACE型模型发现者。 Zbl 1415.68194号 米科拉什·亚诺塔;马丁·苏达 1 2018 一阶逻辑中的阻塞子句。 Zbl 1403.68240号 本杰明·基尔;马丁·苏达;马蒂娜·塞德尔;汤比思，汉斯;阿明·比尔 6 2017 一阶逻辑中子句消除的统一原则。 Zbl 1496.03048号 本杰明·基尔;马丁·苏达 5 2017 选择所选内容。 兹比尔1475.68436 Kryštof霍德;贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 10 2016 在多分类一阶逻辑中寻找有限模型。 Zbl 1475.68447号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 4 2016 将QBF分辨率计算提升到DQBF。 Zbl 1475.68431号 奥拉夫·拜尔斯多夫;勒罗伊·周;雷娜特·施密特（Renate A.Schmidt）。;马丁·苏达 4 2016 玩阿凡达。 Zbl 1465.68295号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 17 2015 LTL可满足性检查的变量和子句消除。 Zbl 1341.68197号 马丁·苏达 1 2015 面向酒店的自动化规划可达性。 Zbl 1361.68208号 马丁·苏达 2 2014 基于标记叠加和部分模型制导的PLTL保护器。 Zbl 1358.68266号 马丁·苏达;克里斯托夫·韦登巴赫 8 2012 PLTL的标签叠加。 Zbl 1352.68164号 马丁·苏达;克里斯托夫·韦登巴赫 2 2012 关于YAGO的饱和度。 Zbl 1291.68372号 马丁·苏达;克里斯托夫·韦登巴赫;帕特里克·维什内夫斯基 11 2010 对“一种新型协议验证算法排除了量子密码中的人在中间的攻击”漏洞的回应。 Zbl 1182.94045号 佩夫，M。;C·帕彻。;T·洛伦瑟。;Nölle，M。;A.波普。;O·莫哈特。;M.苏达。;费德里齐，A。;R.乌尔辛。;Zeilinger，A。 2 2009 一种新的纠缠交换QKD协议攻击策略。 Zbl 1153.81474号 斯特凡·绍尔;马丁·苏达 2 2008 在量子密码学中，一种新的协议认证算法排除了中间人攻击。 兹比尔1066.94015 皮夫，M。;Nölle，M。;O·莫哈特。;T·洛伦瑟。;M.苏达。;A.波普。;R.乌尔辛。;费德里齐，A。;Zeilinger，A。 6 2005 所有引用出版物 前5名被引用出版物 全部的 前5名151位作者引用 11 马丁·苏达 10 约瑟夫·乌尔班 7 贾尔斯·里格尔 7 克里斯托夫·韦登巴赫 5 贾斯敏·克里斯蒂安·布兰切特 5 米罗斯拉夫·奥沙克 4 阿明·比尔 4 玛丽亚·保拉（Maria Paola Bonacina） 4 Heule，Marijn J.H。 4 Jakubův，简 4 Cezary卡利西克 4 本杰明·基尔 4 安德鲁·雷诺兹 4 杰夫·萨特克利夫 4 索菲·托雷特 4 安德烈·沃伦科夫 4 佩塔·武克米罗维奇 三 克拉克·W·巴雷特。 三 奥拉夫·拜尔斯多夫 三 乔舒亚·布林霍恩 三 卡雷尔·奇瓦洛夫斯克 三 西蒙·克鲁内斯 三 迈克尔·劳森 三 塞萨尔·蒂内利 三 徐，杨 三 佐姆博里（Zsolt Zombori） 2 亚历山大·本特坎普 2 陈树伟 2 勒罗伊·周 2 加布里埃尔·埃布纳 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 米科拉什·亚诺塔 2 托梅尔·利巴尔 2 刘军 2 米纳·马哈扬 2 艾娜·尼梅茨 2 Nummelin，维萨卡 2 巴托斯·彼得罗夫斯基 2 马蒂亚斯·普雷纳 2 马蒂娜·塞德尔 2 弗里德里希·斯利沃夫斯基 2 汤比思，汉斯 2 Christoph Wernhard公司 2 尤尼·佐哈尔 1 加博尔·阿拉吉 1 奥马尔·阿尔哈扎拉吉 1 纳瓦尔·阿尔马莫尼 1 斯里尼瓦桑阿鲁纳查拉姆 1 菲利普·巴尔泰克 1 迈克尔·J·比森。 1 艾哈迈德·巴亚特 1 沃尔夫冈·比贝尔 1 拉斯·布劳布罗克 1 乍得·布朗·爱德华 1 Samuel R.巴斯。 1 曹聪 1 曹、冯 1 乔恩ỳ, 普罗科普 1 Cheng，车 1 Chow，Choiwah先生 1 阿德里安·西萨里克 1 洛科·德尼古拉 1 马丁·德沙奈斯 1 卢卡·迪·斯特法诺 1 克莱尔·狄克逊 1 董亚琪 1 迈克尔·Färber 1 阿诺德·菲埃茨克 1 弗罗莱克斯，尼尔斯 1 傅惠民 1 维杰·加内什 1 格雷斯，伯恩哈德 1 何兴兴 1 汤姆·M·海斯克斯。 1 托马斯·希伦布兰德 1 霍德、克里什托夫 1 霍夫曼，约格 1 乌尔里希·赫斯塔特 1 奥马尔·因弗索 1 马库斯·伊泽尔 1 马蒂·Järvisalo 1 Jha，萨默什 1 蒋洁红·罗兰 1 迪帕克·卡普尔 1 金，蒂姆 1 迈克尔·基扬（Michael K.Kinyon）。 1 康斯坦丁·科洛文 1 科齐里亚斯（Ilias S.Kotsireas）。 1 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 1 维克多·昆卡 1 李丹 1 李建文 1 卢、杭 1 萨尔瓦多卢卡斯 1 罗云荣 1 雅罗斯拉夫·麦克 1 约翰·克里斯托弗（John Christopher McCabe-Dansted） 1 米查勒夫斯基（Michalewski）、亨利克（Henryk） 1 Ng、Tien Khee 1 罗伯特·尼乌文豪斯 …和另外51位作者 全部的 前5名16篇连载文章中引用 16 自动推理杂志 三 人工智能 三 AI通信 三 系统设计中的形式化方法 三 计算机科学中的数学 三 计算机科学中的逻辑方法 2 信息科学 2 约束条件 2 逻辑程序设计理论与实践 1 国际理论物理杂志 1 符号计算杂志 1 量子信息处理 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 1 对称 1 物理学年鉴 全部的 前5名10个领域引用 81 计算机科学（68至XX） 38 数学逻辑和基础（03-XX） 4 量子理论（81-XX） 三 信息与通信理论、电路（94-XX） 2 历史和传记（01-XX） 2 运筹学、数学规划（90-XX） 1 一般代数系统（08-XX） 1 群论与推广（20-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文