编辑配置文件(在新选项卡中打开) 马丁·苏达 合著者距离 作者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 Kovács,Laura Ildikó 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) 15 数学逻辑和基础(03-XX) 5 量子理论(81-XX) 4 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 数值分析(65-XX) 1 光学、电磁理论(78-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用133中的次88文件 引用人▼ 年份▼ 玩阿凡达。 Zbl 1465.68295号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 17 2015 ENIGMA-NG:针对E。 Zbl 07178977号 卡雷尔·奇瓦洛夫斯克;Jakubův,简;马丁·苏达;约瑟夫·乌尔班 15 2019 关于YAGO的饱和度。 Zbl 1291.68372号 马丁·苏达;克里斯托夫·韦登巴赫;帕特里克·维什内夫斯基 11 2010 ENIGMA匿名:符号无关的推理引导机(系统描述)。 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 一种新的协议验证算法,排除了量子密码中的中间人攻击。 Zbl 1066.94015号 佩夫,M。;Nölle,M。;O·莫哈特。;T·洛伦瑟。;M.苏达。;A.波普。;R.乌尔辛。;Fedrizzi,A。;Zeilinger,A。 6 2005 基于标记叠加和部分模型制导的PLTL保护器。 Zbl 1358.68266号 马丁·苏达;克里斯托夫·韦登巴赫 6 2012 一阶逻辑中的阻塞子句。 Zbl 1403.68240号 本杰明·基尔;马丁·苏达;马蒂娜·塞德尔;汉斯·托姆皮茨;阿明·比尔 6 2017 在基于饱和的推理中统一抽象和理论实例化。 Zbl 1423.68424号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 6 2018 一阶逻辑中子句消除的统一原则。 Zbl 1496.03048号 本杰明·基尔;马丁·苏达 5 2017 在多分类一阶逻辑中寻找有限模型。 Zbl 1475.68447号 贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 4 2016 将QBF分辨率计算提升到DQBF。 Zbl 1475.68431号 奥拉夫·拜尔斯多夫;勒罗伊·周;雷娜特·施密特(Renate A.Schmidt)。;马丁·苏达 4 2016 QBF计算的局部可靠性。 兹比尔1508.03045 马丁·苏达;格雷斯,伯恩哈德 三 2018 重新解释依赖方案:DQBF中的健全性和不完整性。 Zbl 1468.03008号 奥拉夫·拜尔斯多夫;乔舒亚·布林霍恩;勒罗伊·周;雷娜特·施密特;马丁·苏达 三 2019 对“一种新型协议验证算法排除了量子密码中的人在中间的攻击”漏洞的回应。 Zbl 1182.94045号 佩夫,M。;C·帕彻。;T·洛伦瑟。;Nölle,M。;A.波普。;O·莫哈特。;M.苏达。;费德里齐,A。;R.乌尔辛。;Zeilinger,A。 2 2009 PLTL的标记叠加。 Zbl 1352.68164号 马丁·苏达;克里斯托夫·韦登巴赫 2 2012 一种新的纠缠交换QKD协议攻击策略。 Zbl 1153.81474号 斯特凡·绍尔;马丁·苏达 2 2008 面向酒店的自动化规划可达性。 Zbl 1361.68208号 马丁·苏达 2 2014 SAT求解中保持可满足性证明的理论。 Zbl 1415.68203号 阿德里安·雷博拉·帕多;马丁·苏达 2 2018 量子随机数生成。 Zbl 07216552号 克里斯蒂安·科尔米策;斯特凡·佩沙尔尼格;马丁·苏达;米拉莱姆·梅希 2 2020 LTL可满足性检查的变量和子句消除。 Zbl 1341.68197号 马丁·苏达 1 2015 吸血鬼发出噪音:随机比特有助于征服混乱吗?(系统描述)。 Zbl 07628214号 马丁·苏达 1 2022 面向更智能的MACE型模型发现者。 Zbl 1415.68194号 米科拉什·亚诺塔;马丁·苏达 1 2018 在学习历史的同时改进谜式从句的选择。 Zbl 07437099号 马丁·苏达 1 2021 MACE型有限元模型求解中的对称避免。 Zbl 1435.68305号 贾尔斯·里格尔;马丁·里纳;马丁·苏达 1 2019 吸血鬼发出噪音:随机比特有助于征服混乱吗?(系统描述)。 兹伯利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 理论推理的分层子句选择(短文)。 Zbl 07614525号 格雷斯,伯恩哈德;马丁·苏达 9 2020 量子随机数生成。 Zbl 07216552号 克里斯蒂安·科尔米策;斯特凡·佩施加尼格;马丁·苏达;米拉莱姆·梅希 2 2020 ENIGMA-NG:针对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 选择所选项。 Zbl 1475.68436号 霍德、克里什托夫;贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫 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号 马丁·苏达;克里斯托夫·韦登巴赫 6 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.苏达。;Fedrizzi,A。;R.乌尔辛。;Zeilinger,A。 2 2009 一种新的纠缠交换QKD协议攻击策略。 Zbl 1153.81474号 斯特凡·绍尔;马丁·苏达 2 2008 一种新的协议验证算法,排除了量子密码中的中间人攻击。 Zbl 1066.94015号 佩夫,M。;Nölle,M。;O·莫哈特。;T·洛伦瑟。;M.苏达。;A.波普。;R.乌尔辛。;费德里齐,A。;Zeilinger,A。 6 2005 所有引用出版物 前5名被引用出版物 全部的 前5名149位作者引用 11 马丁·苏达 10 约瑟夫·乌尔班 7 贾尔斯·里格尔 7 克里斯托夫·韦登巴赫 5 贾斯敏·克里斯蒂安·布兰切特 5 米罗斯拉夫·奥沙克 4 阿明·比尔 4 玛丽亚·保拉(Maria Paola Bonacina) 4 Heule,Marijn J.H。 4 Jakubův,简 4 塞萨里·卡利西克 4 本杰明·基尔 4 安德鲁·雷诺兹 4 杰夫·萨特克利夫 4 索菲·托雷特 4 安德烈·沃伦科夫 4 佩塔·武克米罗维奇 三 克拉克·W·巴雷特。 三 奥拉夫·拜尔斯多夫 三 乔舒亚·布林霍恩 三 卡雷尔·奇瓦洛夫斯克 三 西蒙·克鲁恩斯 三 迈克尔·劳森 三 塞萨尔·蒂内利 三 徐,杨 三 佐姆博里(Zsolt Zombori) 2 亚历山大·本特坎普 2 陈树伟 2 勒罗伊·周 2 加布里埃尔·埃布纳 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 米科拉什·亚诺塔 2 刘军 2 米纳·马哈扬 2 艾娜·尼梅茨 2 Nummelin,维萨卡 2 巴托什·皮奥特洛夫斯基 2 马蒂亚斯·普雷纳 2 马蒂娜·塞德尔 2 弗里德里希·斯利沃夫斯基 2 汉斯·托姆皮茨 2 克里斯托弗·沃恩哈德 2 尤尼·佐哈尔 1 加博尔·阿拉吉 1 奥马尔·阿尔哈扎拉吉 1 纳瓦尔·阿尔马莫尼 1 斯里尼瓦桑阿鲁纳查拉姆 1 菲利普·巴特克 1 迈克尔·比森。 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 迈克尔·K·基尼恩。 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 罗伯特·纽文胡斯 1 Peter W.南丁格尔。 …还有49位作者 全部的 前5名16篇连载文章中引用 16 自动推理杂志 三 人工智能 三 人工智能通信 三 系统设计中的形式化方法 三 计算机科学中的数学 三 计算机科学中的逻辑方法 2 信息科学 2 约束条件 2 逻辑程序设计理论与实践 1 国际理论物理杂志 1 符号计算杂志 1 量子信息处理 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 1 对称 1 物理学年鉴 全部的 前5名10个字段中引用 79 计算机科学(68至XX) 32 数学逻辑和基础(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) 按年份列出的引文