编辑配置文件（在新选项卡中打开） 托拜厄斯·舒伯特 合著者距离 作者ID： 舒伯特·托比亚斯 发布日期： 托拜厄斯·舒伯特 外部链接： MGP公司 已编制索引的文档： 9出版物自2005年以来 合著者： 14位合著者具有8联合出版物 329位联合作者 全部的 前5名合著者 1 单作者的 7 贝恩德·贝克尔 三 马修·刘易斯。 2 马丁·范策尔 2 克里斯蒂安·赫尔德 2 马蒂亚斯·绍尔 1 艾丽卡·阿尔布拉汉姆 1 本杰明·安德烈斯 1 伯查德，简 1 马丁·格布瑟 1 斯特凡·库普弗施米德 1 斯特凡·拉特肖恩 1 斯文·雷默 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 蒂诺·特伊格 系列 2 可满足性、布尔建模与计算杂志 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 领域 8 计算机科学（68至XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用65中的次63文件 引用人▼ 年份▼ 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 Zbl 1144.68371号 马丁·范策尔；克里斯蒂安·赫尔德；蒂诺·特伊格；斯特凡·拉特肖恩；托拜厄斯·舒伯特 48 2006 PaMirXT：线程和消息传递的并行SAT求解。 Zbl 1190.68057号 托拜厄斯·舒伯特；马修·刘易斯；贝恩德·贝克尔 9 2009 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆；托拜厄斯·舒伯特；贝恩德·贝克尔；马丁·范策尔；克里斯蒂安·赫尔德 三 2011 用于并行#SAT求解的自由缓存。 Zbl 1471.68175号 伯查德，简；托拜厄斯·舒伯特；贝恩德·贝克尔 三 2015 BMC中使用的增量预处理方法。 Zbl 1247.68167号 Stefan Kupferschmid；马修·刘易斯；托拜厄斯·舒伯特；贝恩德·贝克尔 1 2011 增量编码和基数约束的求解。 Zbl 1448.68390号 斯文·雷默；马蒂亚斯·索尔；托拜厄斯·舒伯特；贝恩德·贝克尔 1 2014 用于并行#SAT求解的自由缓存。 Zbl 1471.68175号 伯查德，简；托拜厄斯·舒伯特；贝恩德·贝克尔 三 2015 增量编码和基数约束的求解。 Zbl 1448.68390号 斯文·雷默；马蒂亚斯·索尔；托拜厄斯·舒伯特；贝恩德·贝克尔 1 2014 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆；托拜厄斯·舒伯特；贝恩德·贝克尔；马丁·范策尔；克里斯蒂安·赫尔德 三 2011 BMC中使用的增量预处理方法。 Zbl 1247.68167号 斯特凡·库普弗施米德；马修·刘易斯；托拜厄斯·舒伯特；贝恩德·贝克尔 1 2011 PaMiraXT：使用线程和消息传递进行并行SAT求解。 Zbl 1190.68057号 托拜厄斯·舒伯特；马修·刘易斯；贝恩德·贝克尔 9 2009 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 Zbl 1144.68371号 马丁·范策尔；克里斯蒂安·赫尔德；蒂诺·特伊格；斯特凡·拉特肖恩；托拜厄斯·舒伯特 48 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名160位作者引用 9 马丁·范策尔 8 艾丽卡·阿尔布拉汉姆 6 安德烈亚斯·艾格斯 6 蒂诺·特伊格 5 贝恩德·贝克尔 4 基里恩·克莱默 三 亚历山德罗·西马蒂 三 弗洛里安·科齐利厄斯 三 约翰·克劳斯·费希特 三 阿尔贝托·格里乔 三 马库斯·赫彻 三 斯特凡·库普弗施米德 三 斯特凡·沃尔特兰 2 克里斯蒂娜·博拉莱拉斯 2 布莱恩，马丁 2 詹姆斯·哈罗德·达文波特 2 英格兰，马修 2 霍尔格·赫尔曼斯 2 Joost-Pieter卡托恩 2 Khanh，To Van先生 2 丹尼尔·科宁 2 萨尔瓦多卢卡斯 2 林奇，因斯 2 Vasco M.Manquinho。 2 鲁本·马丁斯 2 伊娃·玛丽亚·纳瓦罗·洛佩斯 2 小川，水井裕人 2 安德烈·帕塞里尼 2 恩里克·罗德里格斯-卡博内尔 2 阿尔伯特·鲁比奥 2 斯特凡·舒普 2 罗伯托·塞巴斯蒂亚尼 2 Aleksandr Anatol’evich塞梅诺夫 2 斯特凡诺·特索 2 帕特里克·蒂尔 2 董武轩 2 克里斯托夫·韦登巴赫 1 亚历山德罗·阿巴特 1 约翰·A·阿伯特。 1 萨尔瓦多阿布雷乌 1 坦比尔·艾哈迈德 1 沃尔夫冈·阿伦特 1 贝扎德·阿克巴普尔 1 恩斯特·奥尔特豪斯 1 苏海卜·巴里尔 1 斯坦利·巴克 1 埃齐奥·巴托西 1 罗伯托·巴蒂蒂 1 安德烈亚·贝卡 1 多梅尼科·比安库利 1 安娜·玛丽亚·比加蒂 1 克里斯托弗·比肖宾克 1 塞尔吉·博戈莫洛夫 1 马可·波扎诺 1 马丁·布隆伯格 1 布赫伯格，布鲁诺 1 伯查德，简 1 保罗·坎皮戈托 1 伊夫·卡尼奥 1 卢卡·卡德利 1 卡特、丽贝卡 1 菲利普·科多涅特 1 克里斯蒂安·科伦坡 1 亚历山大·库特罗 1 达姆，沃纳 1 丹尼尔·迪亚兹 1 维杰·迪尔瓦 1 丹尼尔·杜米特里乌 1 简·杜拉茨 1 特里斯坦·埃伯特 1 彼得·恩格尔克 1 伊利耶斯·法尔科内 1 费雷特，杰罗姆 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 阿德里安·弗兰卡兰扎 1 伊恩·菲利普·根特 1 塞巴斯蒂安·格温 1 恩斯特·莫里茨·哈恩 1 利奥波德·哈勒 1 阿恩·哈特曼斯 1 克里斯蒂安·赫尔德 1 艾格纳特·埃夫。 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 焦、李 1 索拉巴·乔希 1 塞巴斯蒂安·荣格斯 1 纳塔利娅·卡林尼克 1 阿尼萨·凯里丁 1 Konečný，迈克尔 1 保罗·克罗格 1 Sr Djan Krstić 1 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 1 奥利弗·库尔曼 1 洛伦兹·勒特盖布 1 马修·刘易斯。 1 李东旭 1 帕特里克·D·林肯。 1 恩里科·利帕里尼 1 乌尔里奇·洛普 …还有60多位作者 全部的 前5名19篇连载文章中引用 6 系统设计中的形式化方法 三 人工智能 三 约束条件 2 理论计算机科学 2 自动推理杂志 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 可满足性、布尔建模与计算杂志 1 离散应用数学 1 运营研究信件 1 国际并行程序设计杂志 1 信息与计算 1 计算的形式方面 1 控制科学档案 1 动力系统的数学和计算机建模 1 逻辑与代数程序设计杂志 1 非线性分析。混合动力系统 1 程序设计中的逻辑和代数方法杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名13个领域引用 55 计算机科学（68至XX） 9 系统论；控制（93至XX） 8 运筹学、数学规划（90-XX） 5 数理逻辑与基础（03-XX） 5 数值分析（65-XX） 三 生物学和其他自然科学（92-XX） 2 常微分方程（34-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 代数拓扑（55-XX） 1 粒子和系统力学（70-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文