编辑配置文件（在新选项卡中打开） 马蒂亚斯·弗勒里 合著者距离 作者ID： 花椰菜 发布日期： 马蒂亚斯·弗勒里 已编制索引的文档： 15出版物自1998年以来 1作为编辑的贡献 合著者： 28位合著者具有13联合出版物 450位合作作者 全部的 前5名合著者 2 单作者的 6 贾斯敏·克里斯蒂安·布兰切特 4 阿明·比尔 三 克里斯托夫·韦登巴赫 2 马丁·德沙奈斯 2 德米特里·特拉泰尔 1 哈尼尔·巴博萨 1 朱利安·班德拉 1 Böhme，萨沙 1 布纳诺斯，S。 1 艾默里·布齐 1 马丁·布隆伯格 1 蔡少伟 1 帕斯卡·方丹 1 马克西米利安海辛格 1 约翰·Hölzl 1 香塔尔·凯勒 1 昆查尔，Ondřej 1 彼得·兰米奇 1 安德烈亚斯·洛赫比勒 1 费比安·迈尔 1 洛伦茨·帕尼 1 安德烈·波佩斯库 1 汉斯·约尔·舒尔 1 西蒙·施瓦兹 1 斯莫尔卡，斯特芬·尤尔夫 1 艾伯特·斯特克迈尔 1 克里斯蒂安·斯特纳格尔 1 雷内·蒂曼 1 张新迪 全部的 前5名系列 三 自动推理杂志 1 数学物理杂志 1 几何与物理杂志 1 系统设计中的形式化方法 1 人工智能研究杂志 1 国际计算机研究杂志 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 13 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 粒子和系统力学（70-XX） 2 量子理论（81-XX） 1 总体主题；集合（00-XX） 1 动力系统和遍历理论（37至XX） 1 抽象谐波分析（43至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用53中的次40文件 引用人▼ 年份▼ 机器生成证明的半不可分辨Isar证明。 Zbl 1356.68178号 贾斯敏·克里斯蒂安·布兰切特；Böhme，萨沙；马蒂亚斯·弗勒里；斯莫尔卡，斯特芬·尤尔夫；艾伯特·斯特克迈尔 13 2016 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1475.68432号 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；克里斯托夫·韦登巴赫 8 2016 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1448.68457号 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；彼得·兰米奇；克里斯托夫·韦登巴赫 7 2018 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉；贾斯敏·克里斯蒂安·布兰切特；艾默里·布齐；马丁·德沙奈斯；马蒂亚斯·弗勒里；约翰·Hölzl；昆查尔，Ondřej；安德烈亚斯·洛赫比勒；费比安·迈尔；洛伦茨·帕尼；安德烈·波佩斯库；克里斯蒂安·斯特纳格尔；雷内·蒂曼；德米特里·特拉泰尔 6 2017 用于公式处理的可扩展细粒度证明。 Zbl 1468.68278号 哈尼尔·巴博萨；贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；帕斯卡·方丹 5 2020 SPASS-SATT公司。CDCL（LA）解算器。 Zbl 07178972号 马丁·布隆伯格；马蒂亚斯·弗勒里；西蒙·施瓦兹；克里斯托夫·韦登巴赫 4 2019 在证明助手中可靠地重建细粒度证明。 Zbl 07437094号 汉斯·约尔·舒尔；马蒂亚斯·弗勒里；马丁·德沙奈斯 4 2021 Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 Zbl 1434.03025号 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；德米特里·特拉泰尔 三 2017 使用Paracooba进行分布式立方体和征服。 Zbl 07331016号 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 2 2020 外部二次势中Calogero-Moser系统的传播子。 Zbl 0989.37064号 M.弗勒里。 1 1998 通过局部搜索和目标阶段在CDCL中实现更好的决策启发。 Zbl 07577517号 蔡少伟；张新迪；马蒂亚斯·弗勒里；阿明·比尔 1 2022 通过局部搜索和目标阶段在CDCL中实现更好的决策启发。 Zbl 07577517号 蔡少伟；张新迪；马蒂亚斯·弗勒里；阿明·比尔 1 2022 在证明助手中可靠地重建细粒度证明。 Zbl 07437094号 汉斯·约尔·舒尔；马蒂亚斯·弗勒里；马丁·德沙奈斯 4 2021 用于公式处理的可扩展细粒度证明。 Zbl 1468.68278号 哈尼尔·巴博萨；贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；帕斯卡·方丹 5 2020 使用Paracooba进行分布式立方体和征服。 Zbl 07331016号 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 2 2020 SPASS-SATT公司。CDCL（LA）解算器。 Zbl 07178972号 马丁·布隆伯格；马蒂亚斯·弗勒里；西蒙·施瓦兹；克里斯托夫·韦登巴赫 4 2019 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1448.68457号 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；彼得·兰米奇；克里斯托夫·韦登巴赫 7 2018 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉；贾斯敏·克里斯蒂安·布兰切特；艾默里·布齐；马丁·德沙奈斯；马蒂亚斯·弗勒里；约翰·Hölzl；昆查尔，Ondřej；安德烈亚斯·洛赫比勒；费比安·迈尔；洛伦茨·帕尼；安德烈·波佩斯库；克里斯蒂安·斯特纳格尔；雷内·蒂曼；德米特里·特拉泰尔 6 2017 Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 Zbl 1434.03025号 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；德米特里·特拉泰尔 三 2017 机器生成证明的半不可分辨Isar证明。 Zbl 1356.68178号 贾斯敏·克里斯蒂安·布兰切特；Böhme，萨沙；马蒂亚斯·弗勒里；斯莫尔卡，斯特芬·尤尔夫；艾伯特·斯特克迈尔 13 2016 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1475.68432号 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；克里斯托夫·韦登巴赫 8 2016 外部二次势中Calogero-Moser系统的传播子。 Zbl 0989.37064号 弗勒里，M。 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 10 贾斯敏·克里斯蒂安·布兰切特 5 马蒂亚斯·弗勒里 4 克里斯托夫·韦登巴赫 三 Heule，Marijn J.H。 三 Cezary卡利西克 三 安德斯·施利奇特克鲁尔 三 德米特里·特拉泰尔 2 Seulkee Baek公司 2 哈尼尔·巴博萨 2 亚历山大·本特坎普 2 马丁·布隆伯格 2 蔡少伟 2 帕斯卡·方丹 2 迪特里赫·克拉科夫 2 李伯翰 2 托比亚斯·尼普科 2 安德烈·波佩斯库 2 彼得·桑德斯 2 多米尼克·施赖伯 2 汉斯·约尔·舒尔 2 张新迪 1 杰里米·阿维加德 1 克拉克·W·巴雷特。 1 托马斯·博埃里 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 玛丽亚·保拉（Maria Paola Bonacina） 1 Ciobâcă，沙特凡 1 库卡斯·扎伊卡 1 马丁·德沙奈斯 1 Jose Divasón 1 伊琳娜·德拉古斯特 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 洛伦佐·盖里 1 拉杰夫·普拉巴卡尔·戈尔 1 圣菲省格拉汉·伦格兰德 1 大卫·格林纳韦 1 马克西米利安·哈斯贝克。 1 弗雷德里克·赫布雷托 1 西蒙·胡登 1 沃伦·朱恩·亨特（Warren jun Hunt）。 1 维奥雷尔·奥尔达奇 1 Jakubův，简 1 贾尼契奇，普雷德拉格 1 Joosten，Sebastian J.C。 1 马特·考夫曼 1 尼古拉·克劳斯 1 基里恩·克莱默 1 马库斯·科洛奇 1 丹尼尔·库尔温 1 米贾·库尔琴斯基 1 汉娜·拉奇尼特 1 彼得·兰米奇 1 洛伦茨，Leutgeb 1 洛伦兹，简·亨德里克 1 凯文·洛茨 1 丹尼尔·马提库克 1 朱利叶斯·迈克利斯 1 阿尔贝托·莫米利亚诺 1 朱利安·纳布克斯 1 艾娜·尼梅茨 1 弗雷德里克·诺德瓦尔·福斯伯格 1 安德烈斯·诺兹利 1 德克·诺沃特卡 1 亚历克斯·奥兹德米尔 1 阿曼多·佩森提·格里蒂 1 碧姬·品特卡 1 Damien Pous 1 马蒂亚斯·普雷纳 1 佛朗哥·雷蒙迪 1 安德鲁·雷诺兹 1 戴维·桑吉奥吉 1 Natarajan Shankar 1 大卫·希伯多 1 雷内·蒂曼 1 塞萨尔·蒂内利 1 约瑟夫·乌尔班 1 范德波尔，扬·科内利斯 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 乌韦州瓦尔德曼 1 内森·韦兹勒。 1 西蒙·威默 1 弗洛里安·沃兹 1 吴敏超 1 徐创杰 1 Akihisa山田 1 尤尼·佐哈尔 全部的 前5名引用于7个系列 13 自动推理杂志 1 理论计算机科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 计算机科学中的逻辑方法 在4个字段中引用 36 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 按年份列出的引文