编辑配置文件（在新选项卡中打开） 塞德尔，玛蒂娜 合著者距离 作者ID: seidl.martina公司 发布日期： 塞德尔，玛蒂娜 编入索引的文档： 33出版物自1970年以来 3作为编辑的贡献 合著者： 31位合著者具有32联合出版物 649合著作者 全部的 前5名合著者 三 单作者的 9 阿米恩·比尔 8 Heule，Marijn J.H。 7 曼纽尔·考尔斯 7 弗洛里安·隆辛 5 埃格利，乌韦 5 本杰明·基尔 4 卢卡·普利纳 4 汤比思，汉斯 2 罗德里克·布洛姆 2 安吉特·舒克拉 2 斯特凡·沃尔特兰 1 法希姆·巴克斯 1 奥拉夫·拜尔斯多夫 1 尼古拉斯·布劳德·桑托尼 1 卡塔林·法泽卡斯 1 维达德·哈季奇 1 西蒙·海辛格 1 马蒂·Järvisalo 1 查尔斯·乔丹 1 卢卡斯·凯泽 1 佩特拉·考夫曼 1 罗伯特·柯尼霍费尔 1 马丁·克罗内格 1 西比尔·莫勒 1 安德烈亚斯·普芬德勒 1 马丁·苏达 1 尼古拉·蒂尔曼 1 范·盖尔德，艾伦 1 马格达莱娜·维德尔 1 多龙·泽尔伯格 1 迈克尔·佐尔达 全部的 前5名系列 2 人工智能 2 流体物理学 2 计算机科学课堂讲稿 1 信息处理信件 1 符号计算杂志 1 自动推理杂志 1 系统设计中的形式化方法 1 人工智能研究杂志 1 约束条件 1 欧洲控制杂志 1 计算机语言、系统和结构 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 1 计算机代数中的ACM通信 1 DML。离散数学字母 全部的 前5名领域 31 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 三 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 流体力学（76-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物被引用199中的次103文件 引用人▼ 年份▼ QBF的阻塞子句消除。 Zbl 1341.68181号 阿明·比尔;弗洛里安·隆辛;塞德尔，玛蒂娜 28 2011 SAT和QSAT的条款删除。 Zbl 1336.68231号 Marijn脚后跟;马蒂·Järvisalo;弗洛里安·隆辛;塞德尔，玛蒂娜;阿明·比尔 23 2015 基于SAT的安全规范合成方法。 Zbl 1428.68040号 罗德里克·布洛姆;罗伯特·柯尼霍费尔;塞德尔，玛蒂娜 22 2014 QBF预处理的统一证明系统。 Zbl 1409.68257号 Heule，Marijn J.H。;塞德尔，玛蒂娜;阿米恩·比尔 19 2014 通过动态阻塞子句消除增强基于搜索的QBF求解。 Zbl 1471.68251号 弗洛里安·隆辛;法希姆·巴克斯;阿明·比尔;埃格利，乌韦;塞德尔，玛蒂娜 13 2015 2016年和2017年QBF解决方案评估（QBFEVAL’16和QBFEVEL’17）。 Zbl 1478.68332号 卢卡·普利纳;塞德尔，玛蒂娜 11 2019 广义公理的Q分解。 Zbl 1475.68442号 弗洛里安·隆辛;埃格利，乌韦;塞德尔，玛蒂娜 11 2016 求反范式中QBF的解算器。 Zbl 1167.68054号 埃格利，乌韦;塞德尔，玛蒂娜;斯特凡·沃尔特兰 10 2009 超级阻塞子句。 Zbl 1475.68347号 本杰明·基尔;塞德尔，玛蒂娜;汤比思，汉斯;阿明·比尔 9 2016 QBF画廊：幕后。 Zbl 1357.68209号 弗洛里安·隆辛;塞德尔，玛蒂娜;范·盖尔德，艾伦 6 2016 比较量化布尔公式的不同预处理策略。 Zbl 1204.68178号 埃格利，乌韦;塞德尔，玛蒂娜;汤比思，汉斯;斯特凡·沃尔特兰;迈克尔·佐尔达 6 2004 一阶逻辑中的阻塞子句。 Zbl 1403.68240号 本杰明·基尔;马丁·苏达;塞德尔，玛蒂娜;汤比思，汉斯;阿明·比尔 6 2017 QBF预处理的解决方案验证和提取。 Zbl 1409.68258号 Heule，Marijn J.H。;塞德尔，玛蒂娜;阿明·比尔 6 2017 一个小小的阻塞文字可以发挥很大作用。 Zbl 1496.68370号 本杰明·基尔;Heule，Marijn J.H。;塞德尔，玛蒂娜 4 2017 乘\（3\乘3\）矩阵的新方法。 Zbl 1491.68276号 Heule，Marijn J.H。;曼纽尔·考尔斯;塞德尔，玛蒂娜 4 2021 量化布尔公式的对称性。 Zbl 1508.03042号 曼纽尔·考尔斯;塞德尔，玛蒂娜 三 2018 一些对称量化布尔公式的简短证明。 Zbl 1442.03008号 曼纽尔·考尔斯;塞德尔，玛蒂娜 三 2018 \（\mathsf{MPIDepQBF}\）：实现无知识共享的并行QBF求解。 Zbl 1423.68455号 查尔斯·乔丹;卢卡斯·凯泽;弗洛里安·隆辛;塞德尔，玛蒂娜 三 2014 快速矩阵乘法的局部搜索。 Zbl 1441.68225号 Heule，Marijn J.H。;曼纽尔·考尔斯;塞德尔，玛蒂娜 三 2019 QRAT多项式模拟\（所有\）-Exp+Res。 Zbl 1441.68094号 本杰明·基尔;塞德尔，玛蒂娜 三 2019 行为多视图模型的图内和图间一致性检查。 兹比尔1387.68051 佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普芬德勒;塞德尔，玛蒂娜;马格达莱娜·维德尔 2 2015 SAT中的局部冗余：阻塞子句的泛化。 Zbl 1403.68239号 本杰明·基尔;塞德尔，玛蒂娜;汤比思，汉斯;阿明·比尔 1 2018 量化布尔公式的Skolem函数延拓。 Zbl 1491.68192号 卡塔林·法泽卡斯;Heule，Marijn J.H。;塞德尔，玛蒂娜;阿明·比尔 1 2017 QBFFam：从证明复杂性生成QBF族的工具。 Zbl 07495563号 奥拉夫·拜尔斯多夫;卢卡·普利纳;塞德尔，玛蒂娜;安吉特·舒克拉 1 2021 两个SAT解算器，用于解决具有任意数量的量词替换的量化布尔公式。 Zbl 1522.68715号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;维达德·哈季奇;埃格利，乌韦;弗洛里安·隆辛;塞德尔，玛蒂娜 1 2021 矩阵乘法的新方法。 Zbl 1491.68276号 Heule，Marijn J.H。;曼纽尔·考尔斯;塞德尔，玛蒂娜 4 2021 QBFFam：从证明复杂性生成QBF族的工具。 Zbl 07495563号 奥拉夫·拜尔斯多夫;卢卡·普利纳;塞德尔，玛蒂娜;安吉特·舒克拉 1 2021 两个SAT解算器，用于求解具有任意数量量词交替的量化布尔公式。 Zbl 1522.68715号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;吠陀的哈季奇;埃格利，乌韦;弗洛里安·隆辛;塞德尔，玛蒂娜 1 2021 2016年和2017年QBF解决方案评估（QBFEVAL’16和QBFEVEL’17）。 Zbl 1478.68332号 卢卡·普利纳;塞德尔，玛蒂娜 11 2019 快速矩阵乘法的局部搜索。 Zbl 1441.68225号 Heule，Marijn J.H。;曼纽尔·考尔斯;塞德尔，玛蒂娜 三 2019 QRAT多项式模拟\（所有\）-Exp+Res。 Zbl 1441.68094号 本杰明·基尔;塞德尔，玛蒂娜 三 2019 量化布尔公式的对称性。 Zbl 1508.03042号 曼纽尔·考尔斯;塞德尔，玛蒂娜 三 2018 一些对称量化布尔公式的简短证明。 Zbl 1442.03008号 曼纽尔·考尔斯;塞德尔，玛蒂娜 三 2018 SAT中的局部冗余：阻塞子句的泛化。 Zbl 1403.68239号 本杰明·基尔;塞德尔，玛蒂娜;汤比思，汉斯;阿米恩·比尔 1 2018 一阶逻辑中的阻塞子句。 Zbl 1403.68240号 本杰明·基尔;马丁·苏达;塞德尔，玛蒂娜;汤比思，汉斯;阿明·比尔 6 2017 QBF预处理的解决方案验证和提取。 Zbl 1409.68258号 Heule，Marijn J.H。;塞德尔，玛蒂娜;阿明·比尔 6 2017 一个小小的阻塞文字可以发挥很大作用。 Zbl 1496.68370号 本杰明·基尔;Heule，Marijn J.H。;塞德尔，玛蒂娜 4 2017 量化布尔公式的Skolem函数延拓。 Zbl 1491.68192号 卡塔林·法泽卡斯;Heule，Marijn J.H。;塞德尔，玛蒂娜;阿明·比尔 1 2017 广义公理的Q分解。 兹比尔1475.68442 弗洛里安·隆辛;埃格利，乌韦;塞德尔，玛蒂娜 11 2016 超级阻塞子句。 Zbl 1475.68347号 本杰明·基尔;塞德尔，玛蒂娜;汤比思，汉斯;阿明·比尔 9 2016 QBF画廊：幕后。 Zbl 1357.68209号 弗洛里安·隆辛;塞德尔，玛蒂娜;范·盖尔德，艾伦 6 2016 SAT和QSAT的条款删除。 Zbl 1336.68231号 Marijn脚后跟;马蒂·Järvisalo;弗洛里安·隆辛;塞德尔，玛蒂娜;阿明·比尔 23 2015 通过动态阻塞子句消除增强基于搜索的QBF求解。 Zbl 1471.68251号 弗洛里安·隆辛;法希姆·巴克斯;阿明·比尔;埃格利，乌韦;塞德尔，玛蒂娜 13 2015 行为多视角模型的图内和图间一致性检查。 Zbl 1387.68051号 佩特拉·考夫曼;马丁·克罗内格;安德烈亚斯·普芬德勒;塞德尔，玛蒂娜;马格达莱娜·维德尔 2 2015 基于SAT的安全规范合成方法。 Zbl 1428.68040号 罗德里克·布洛姆;罗伯特·柯尼霍费尔;塞德尔，玛蒂娜 22 2014 QBF预处理的统一证明系统。 Zbl 1409.68257号 Heule，Marijn J.H。;塞德尔，玛蒂娜;阿明·比尔 19 2014 \（\mathsf{MPIDepQBF}\）：实现无知识共享的并行QBF求解。 Zbl 1423.68455号 查尔斯·乔丹;卢卡斯·凯泽;弗洛里安·隆辛;塞德尔，玛蒂娜 三 2014 QBF的阻塞子句消除。 Zbl 1341.68181号 阿明·比尔;弗洛里安·隆辛;塞德尔，玛蒂娜 28 2011 求反范式中QBF的求解器。 Zbl 1167.68054号 埃格利，乌韦;塞德尔，玛蒂娜;斯特凡·沃尔特兰 10 2009 比较量化布尔公式的不同预处理策略。 Zbl 1204.68178号 埃格利，乌韦;塞德尔，玛蒂娜;汤比思，汉斯;斯特凡·沃尔特兰;迈克尔·佐尔达 6 2004 所有引用出版物 前5名被引用出版物 全部的 前5名173位作者引用 15 塞德尔，玛蒂娜 14 奥拉夫·拜尔斯多夫 12 阿明·比尔 10 Heule，Marijn J.H。 8 弗洛里安·隆辛 7 乔舒亚·布林霍恩 6 勒罗伊·周 6 埃格利，乌韦 6 弗里德里希·斯利沃夫斯基 5 曼纽尔·考尔斯 5 克里斯托夫·斯科尔 5 斯泽德，斯特凡 5 斯特凡·沃尔特兰 4 本杰明·基尔 4 Leander Tentrup公司 4 拉尔夫·维默（Ralf D.Wimmer）。 三 贝恩德·贝克尔 三 本杰明·伯姆 三 卢克·欣德 三 米科拉什·亚诺塔 三 马蒂·Järvisalo 三 Joáo P.塞尔瓦侯爵。 三 托马斯·佩特尔 三 马丁·苏达 2 李·巴奈特（Lee A.Barnett）。 2 Randal E.布莱恩特。 2 伯恩德·芬克贝纳 2 冈萨洛·伊玛兹（Gonzalo E.Imaz）。 2 蒋洁红·罗兰 2 马丁·克罗内格 2 托马斯·林斯比勒 2 雅各布穆斯堡尔 2 安德烈亚斯·普芬德勒 2 卢卡·普利纳 2 马库斯·拉贝。 2 雷娜特·施密特（Renate A.Schmidt）。 2 安吉特·舒克拉 2 尤拉吉·西奇 2 汤比思，汉斯 2 约翰·彼得·沃纳 2 徐，杨 1 马里奥·阿尔维亚诺 1 乔瓦尼·阿蒙多拉 1 法希姆·巴克斯 1 瓦莱里·巴拉巴诺夫 1 托马斯·巴尔约 1 安东·贝洛夫 1 杰里米亚斯·伯格 1 菲利普·贝斯纳德 1 曼纽尔·比什勒 1 贾斯敏·克里斯蒂安·布兰切特 1 罗德里克·布洛姆 1 史蒂夫·鲍彻 1 尼古拉斯·布劳德·桑托尼 1 罗伯特·K·布雷顿。 1 格哈德·布鲁卡 1 布莱特，柯蒂斯 1 乌韦·布贝克 1 大卫·M·塞尔纳。 1 陈明帅 1 陈树伟 1 张凯文·K·H。 1 克拉克（Edmund Melson jun Clarke）。 1 洛伦佐·克莱门特 1 朱迪思·克莱莫 1 安德鲁·克洛珀 1 莱昂纳多·德·莫拉 1 马丁·迪勒 1 卡明·多达罗 1 丹尼·多列夫 1 帕夫洛斯·艾里纳基斯 1 豪尔赫·范丁诺 1 彼得·费蒙维尔 1 弗拉维奥·安东尼奥·费拉罗蒂 1 约翰·克劳斯·费希特 1 马蒂亚斯·弗勒里 1 马丁·范策尔 1 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 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 瑞典雅各布斯 …还有73位作者 全部的 前5名23篇连载文章中引用 10 自动推理杂志 8 人工智能 5 计算机科学中的逻辑方法 4 逻辑程序设计理论与实践 三 系统设计中的形式化方法 三 约束条件 2 信息学报 2 信息处理信件 2 计算机与系统科学杂志 2 理论计算机科学 2 ACM计算逻辑事务 2 可满足性、布尔建模与计算杂志 1 模糊集与系统 1 信息科学 1 符号计算杂志 1 国际近似推理杂志 1 人工智能通信 1 机器学习 1 组合数学电子杂志 1 数学与人工智能年鉴 1 计算系统理论 1 计算机语言、系统和结构 1 对称 全部的 前5名在6个字段中引用 96 计算机科学（68至XX） 35 数理逻辑与基础（03-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 信息与通信理论、电路（94-XX） 2 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文