编辑配置文件（在新选项卡中打开） Heule，Marijn J.H。 合著者距离 作者ID： 赫勒·马里恩-j-h 发布日期： Heule，Marijn J.H。;Marijn脚后跟;赫勒，M.J.H。 更多。。。较少的 已编制索引的文档： 85出版物自2005年以来，包括5个附加arXiv预打印 3作为编辑的贡献 合著者： 72位合著者具有81联合出版物 1181位联合作者 全部的 前5名合著者 7 单作者的 23 阿明·比尔 13 汉斯·范马伦 8 马蒂·Järvisalo 8 马蒂娜·塞德尔 7 本杰明·基尔 5 Randal E.布莱恩特。 5 沃伦·亨特（Warren A.jun Hunt）。 5 内森·韦兹勒。 3 Seulkee Baek先生 3 曼纽尔·考尔斯 3 约翰·麦基 3 埃姆雷·约尔库 2 斯科特·亚伦森 2 乔舒亚·布拉肯西克 2 勒罗伊·周 2 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 2 马特·考夫曼 2 刘振军 2 大卫·E·纳瓦兹（David E.Narváez）。 2 沃伊切赫·纳罗基 2 阿德里安·雷博拉·帕多 2 约瑟夫·里夫斯（Joseph E.Reeves）。 2 贝尔纳多·苏伯卡索 2 斯泽德，斯特凡 2 彼得·范德德 2 沃尔什，托比 1 穆基特·阿里 1 杰里米·阿维加德 1 托马斯·巴利奥 1 安东·贝洛夫 1 亚历山大·本特坎普 1 贾斯敏·克里斯蒂安·布兰切特 1 基南·布雷克 1 路易斯·克鲁兹·菲利佩 1 Cuong，C.K。 1 迪利格，伊西尔 1 马克·R·杜福尔。 1 Elmallah，Ehab S。 1 卡塔林·法泽卡斯 1 弗罗莱克斯，尼尔斯 1 托马斯·加里森 1 穆罕默德·古达。 1 克里斯蒂安·哈特曼 1 P.R.赫维格。 1 沃伦·朱恩·亨特（Warren jun Hunt）。 1 马库斯·伊泽尔 1 奥利弗·库尔曼 1 基斯·奎克布姆 1 弗洛里安·朗辛 1 V.Wiktor马雷克 1 Joáo P.塞尔瓦侯爵。 1 玛格努斯·奥·米林。 1 戴维·奈曼 1 阿兰·诺尔斯 1 奥斯瓦尔多·奥利沃 1 雷兹瓦纳 1 莱昂·杰姆·罗斯克兰茨。 1 巴斯·沙夫斯马 1 曼弗雷德·舒彻 1 彼得·施奈德·坎普 1 大卫·索洛维奇克 1 马丁·苏达 1 Tan，Yong Kiam先生 1 克里斯·塔丘克 1 范兰巴金，P.M。 1 琳达·范诺登 1 van Zwieten，乔里斯 1 四川省韦尔市 1 佩塔·武克米罗维奇 1 肖恩·韦弗（Sean A.Weaver）。 1 吴新余 1 瓦伦丁·Wüstholz 全部的 前5名系列 7 自动推理杂志 4 可满足性、布尔建模与计算杂志 3 ACM计算逻辑事务 2 组合数学电子杂志 2 地理组合学 2 人工智能和应用的前沿 1 美国数学月刊 1 人工智能 1 离散应用数学 1 理论计算机科学 1 计算机程序设计科学 1 图与组合 1 符号计算杂志 1 人工智能研究杂志 1 尼乌档案馆（Nieuw Archief voor Wiskunde）。Vijfde系列 1 计算机科学课堂讲稿 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 计算机代数中的ACM通信 1 组合学杂志 全部的 前5名领域 78 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 9 组合数学（05-XX） 2 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 64出版物有被引用927中的次533文件 引用人▼ 年份▼ 满意度手册。 Zbl 1183.68568号 368 2009 DRAT-trim：使用富于表现力的子句证明进行有效的检查和修剪。 兹比尔1423.68475 内森·韦兹勒;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。 54 2014 通过cube-and-conquer解决并验证布尔勾股三元组问题。 Zbl 1403.68226号 Heule，Marijn J.H。;奥利弗·库尔曼;维克托·马雷克。 47 2016 正在处理规则。 Zbl 1358.68256号 马蒂·Järvisalo;Heule，Marijn J.H。;阿明·比尔 44 2012 排除阻塞子句。 Zbl 1284.03208号 马蒂·Järvisalo;阿明·比尔;Marijn脚后跟 34 2010 满意度手册。分为两部分。第二次更新和修订版。 Zbl 1456.68001号 28 2021 SAT和QSAT的条款删除。 Zbl 1336.68231号 Marijn脚后跟;马蒂·Järvisalo;弗洛里安·朗辛;马蒂娜·塞德尔;阿明·比尔 23 2015 CNF公式的条款删除程序。 Zbl 1306.68144号 Marijn脚后跟;马蒂·Järvisalo;阿明·比尔 21 2010 高效认证RAT验证。 Zbl 1494.68284号 路易斯·克鲁兹·菲利佩;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;马特·考夫曼;彼得·施奈德·坎普 21 2017 QBF预处理的统一证明系统。 Zbl 1409.68257号 Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 19 2014 使用SAT解算器精确识别DFA。 Zbl 1291.68192号 Heule，Marijn J.H。;四川省韦尔市 17 2010 在CNF上模拟电路级简化。 Zbl 1267.94144号 马蒂·Järvisalo;阿明·比尔;Heule，Marijn J.H。 16 2012 用扩展的分辨率验证反驳。 Zbl 1381.68270号 Heule，Marijn J.H。;亨特，沃伦·A·琼。;内森·韦兹勒 15 2013 基于二元蕴涵图的高效CNF简化。 Zbl 1330.68269号 Heule，Marijn J.H。;马蒂·Järvisalo;阿明·比尔 14 2011 没有新变量的简短证明。 兹比尔1468.03010 Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 12 2017 在DRAT证明中表示对称破缺。 Zbl 1465.68285号 Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 11 2015 构造范德瓦登数下界的一种新方法。 Zbl 1115.05092号 P.R.赫维格。;赫勒，M.J.H。;范兰巴金，P.M。;van Maaren，H。 9 2007 扩展分辨率SAT反驳的机械验证。 Zbl 1317.68236号 内森·韦兹勒;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。 9 2013 2020年SAT竞赛。 Zbl 1478.68320号 弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 8 2021 March_eq：将额外的推理实现为高效的look-ahead SAT求解器。 Zbl 1122.68599号 Marijn脚后跟;马克·杜福尔;乔里斯·范·兹维滕;汉斯·范马伦 8 2005 命题证明的有效验证检查。 Zbl 1483.68483号 Marijn脚后跟;沃伦·朱恩·亨特（Warren jun Hunt）。;马特·考夫曼;内森·韦兹勒 8 2017 强大的无扩展证明系统。 Zbl 1468.03011号 Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 8 2020 凯勒猜想的解决。 Zbl 07614506号 乔舒亚·布拉肯西克;Marijn脚后跟;约翰·麦基;纳尔瓦兹，大卫 8 2020 计算色数为5的小单位距离图。 Zbl 1404.05054号 Heule，Marijn J.H。 7 2018 SAT中的clique-width方法。 Zbl 1354.68240号 Heule，Marijn J.H。;斯泽德，斯特凡 7 2015 一个变量能带来多大的不同。 Zbl 1423.68419号 Heule，Marijn J.H。;阿明·比尔 7 2018 阻塞子句分解。 Zbl 1407.68451号 Heule，Marijn J.H。;阿明·比尔 6 2013 扩展分辨率模拟\（{\mathsf{DRAT}}\）。 Zbl 1441.68278号 本杰明·基尔;阿德里安·雷博拉·帕多;Heule，Marijn J.H。 6 2018 QBF预处理的解决方案验证和提取。 Zbl 1409.68258号 Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 6 2017 使用基于BDD的SAT解算器生成扩展的分辨率证明。 兹比尔1467.68203 Randal E.布莱恩特。;Heule，Marijn J.H。 5 2021 通过模拟Zykov收缩实现动态对称破缺。 Zbl 1247.68260号 巴斯·沙夫斯马;Heule，Marijn J.H。;汉斯·范马伦 4 2009 结块_lpr：在CakeML中验证了传播冗余检查。 Zbl 1474.68194号 Tan，Yong Kiam先生;Heule，Marijn J.H。;玛格努斯·奥·米林。 4 2021 使用子句证明的MUS提取。 Zbl 1423.68436号 安东·贝洛夫;Heule，Marijn J.H。;若昂·西尔瓦侯爵 4 2014 你一直想知道的关于阻塞集的一切（但又不敢问）。 Zbl 1423.68435号 托马斯·巴利奥;安德烈亚斯·弗里奇;Heule，Marijn J.H。;阿明·比尔 4 2014 有效地纳入双头程序。 Zbl 1214.68356号 Marijn脚后跟;汉斯·范马伦 4 2007 一个小小的阻塞文字可以发挥很大作用。 Zbl 1496.68370号 本杰明·基尔;Heule，Marijn J.H。;马蒂娜·塞德尔 4 2017 可满足性问题的证明。 Zbl 1431.03024号 Heule，Marijn J.H。;阿明·比尔 4 2015 矩阵乘法的新方法。 Zbl 1491.68276号 Heule，Marijn J.H。;曼纽尔·考尔斯;马蒂娜·塞德尔 4 2021 快速矩阵乘法的局部搜索。 Zbl 1441.68225号 Heule，Marijn J.H。;曼纽尔·考尔斯;马蒂娜·塞德尔 3 2019 静态检测使用正则表达式的程序中的DoS漏洞。 Zbl 1452.68060号 瓦伦丁·Wüstholz;奥斯瓦尔多·奥利沃;Heule，Marijn J.H。;迪利格，伊西尔 3 2017 March_dl：添加自适应启发式和新的分支策略。 Zbl 1116.68085号 Heule，Marijn J.H。;汉斯·范马伦 3 2006 调整CNF和等效理由。 Zbl 1122.68600号 Marijn脚后跟;汉斯·范马伦 3 2005 作文命题证明。 Zbl 1471.68310号 Heule，Marijn J.H。;阿明·比尔 3 2015 为满足驱动的子句学习编码冗余。 Zbl 1527.68212号 Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 3 2019 伊甸园中的对称。 兹比尔1295.68164 克里斯蒂安·哈特曼;Heule，Marijn J.H。;基斯·奎克布姆;阿兰·诺尔斯 2 2013 SAT中的clique-width方法。 Zbl 1390.68501号 Heule，Marijn J.H。;斯泽德，斯特凡 2 2013 使用基于BDD的求解器生成量化布尔公式的双重证明。 Zbl 07437093号 Randal E.布莱恩特。;Heule，Marijn J.H。 2 2021 MAX-SAT的基于平方和的近似算法。 Zbl 1152.68058号 van Maaren，H。;范诺登，L。;Heule，M.J.H。 2 2008 使用位级操作的并行SAT求解。 Zbl 1170.68594号 Heule，Marijn J.H。;汉斯·范马伦 2 2008 在CDCL解算器中重用指定轨迹。 Zbl 1331.68214号 彼得·范德德;安东尼奥·拉莫斯;Marijn脚后跟 2 2011 模拟具有扩展分辨率的强实用证明系统。 Zbl 1468.68293号 本杰明·基尔;阿德里安·雷博拉·帕多;Heule，Marijn J.H。;阿明·比尔 2 2020 作为条件自给自足的真理赋值。 Zbl 1437.68132号 本杰明·基尔;Heule，Marijn J.H。;阿明·比尔 2 2019 SAT解算器-解算器通信的灵活证明格式。 Zbl 1467.68159号 Seulkee Baek先生;马里奥·卡内罗;Heule，Marijn J.H。 2 2021 通过重用变量对奇偶校验编码进行排序。 Zbl 07331008号 勒罗伊·周;Heule，Marijn J.H。 2 2020 叠加的SAT激励抵消。 Zbl 07650603号 佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule，Marijn J.H。 2 2023 在重新开始和跳回之间。 Zbl 1330.68276号 安东尼奥·拉莫斯;彼得·范德德;Heule，Marijn J.H。 1 2011 科拉茨猜想的自动化方法。 兹比尔07437095 埃姆雷·约尔库;斯科特·亚伦森;Heule，Marijn J.H。 1 2021 单位距离图中的奇距离虚边。 兹比尔1481.05047 Heule，Marijn J.H。 1 2021 你站在谁一边？在有偏见的搜索树中寻找解决方案。 Zbl 1170.68595号 Heule，Marijn J.H。;汉斯·范马伦 1 2008 计算策略的隐含问题。 兹比尔1428.68088 雷兹瓦纳·雷兹;穆基特·阿里;穆罕默德·古达。;Heule，Marijn J.H。;Elmallah，Ehab S。 1 2015 图问题的最佳对称破缺。 Zbl 1474.68225号 Heule，Marijn J.H。 1 2019 迈谢尔斯基图表和公关证明。 Zbl 07331022号 埃姆雷·约尔库;吴新宇;Heule，Marijn J.H。 1 2020 量化布尔公式的Skolem函数延拓。 Zbl 1491.68192号 卡塔林·法泽卡斯;Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 1 2017 传播冗余子句的预处理。 Zbl 07628184号 约瑟夫·里夫斯（Joseph E.Reeves）。;Heule，Marijn J.H。;Randal E.布莱恩特。 1 2022 叠加的SAT激励抵消。 Zbl 07650603号 佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule，Marijn J.H。 2 2023 传播冗余子句的预处理。 Zbl 07628184号 约瑟夫·里夫斯（Joseph E.Reeves）。;Heule，Marijn J.H。;Randal E.布莱恩特。 1 2022 满意度手册。分为两部分。第二次更新和修订版。 Zbl 1456.68001号 28 2021 2020年SAT竞赛。 Zbl 1478.68320号 弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 8 2021 使用基于BDD的SAT解算器生成扩展的分辨率证明。 Zbl 1467.68203号 Randal E.布莱恩特。;Heule，Marijn J.H。 5 2021 结块_lpr：在CakeML中验证了传播冗余检查。 Zbl 1474.68194号 Tan，Yong Kiam先生;Heule，Marijn J.H。;玛格努斯·奥·米林。 4 2021 矩阵乘法的新方法。 Zbl 1491.68276号 Heule，Marijn J.H。;曼纽尔·考尔斯;马蒂娜·塞德尔 4 2021 使用基于BDD的求解器生成量化布尔公式的双重证明。 Zbl 07437093号 Randal E.布莱恩特。;Heule，Marijn J.H。 2 2021 SAT解算器-解算器通信的灵活证明格式。 Zbl 1467.68159号 Seulkee Baek先生;马里奥·卡内罗;Heule，Marijn J.H。 2 2021 科拉茨猜想的自动化方法。 兹比尔07437095 埃姆雷·约尔库;斯科特·亚伦森;Heule，Marijn J.H。 1 2021 单位距离图中的奇距离虚边。 Zbl 1481.05047号 Heule，Marijn J.H。 1 2021 强大的无扩展证明系统。 Zbl 1468.03011号 Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 8 2020 凯勒猜想的解决方案。 Zbl 07614506号 乔舒亚·布拉肯西克;Marijn脚后跟;约翰·麦基;大卫·纳瓦兹 8 2020 模拟具有扩展分辨率的强实用证明系统。 Zbl 1468.68293号 本杰明·基尔;阿德里安·雷博拉·帕多;Heule，Marijn J.H。;阿明·比尔 2 2020 通过重用变量对奇偶校验编码进行排序。 Zbl 07331008号 勒罗伊·周;Heule，Marijn J.H。 2 2020 迈谢尔斯基图表和公关证明。 Zbl 07331022号 埃姆雷·约尔库;吴新余;Heule，Marijn J.H。 1 2020 快速矩阵乘法的局部搜索。 Zbl 1441.68225号 Heule，Marijn J.H。;曼纽尔·考尔斯;马蒂娜·塞德尔 3 2019 为满足驱动的子句学习编码冗余。 兹比尔1527.68212 Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 3 2019 作为条件自给自足的真理赋值。 Zbl 1437.68132号 本杰明·基尔;Heule，Marijn J.H。;阿明·比尔 2 2019 图问题的最佳对称破缺。 Zbl 1474.68225号 Heule，Marijn J.H。 1 2019 计算色数为5的小单位距离图。 Zbl 1404.05054号 Heule，Marijn J.H。 7 2018 变量的作用有多大。 Zbl 1423.68419号 Heule，Marijn J.H。;阿明·比尔 7 2018 扩展分辨率模拟\（{\mathsf{DRAT}}\）。 Zbl 1441.68278号 本杰明·基尔;阿德里安·雷博拉·帕多;Heule，Marijn J.H。 6 2018 高效认证RAT验证。 Zbl 1494.68284号 路易斯·克鲁兹·菲利佩;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;马特·考夫曼;彼得·施奈德·坎普 21 2017 没有新变量的简短证明。 Zbl 1468.03010号 Heule，Marijn J.H。;本杰明·基尔;阿明·比尔 12 2017 命题证明的有效验证检查。 Zbl 1483.68483号 Marijn脚后跟;沃伦·朱恩·亨特（Warren jun Hunt）。;马特·考夫曼;内森·韦兹勒 8 2017 QBF预处理的解决方案验证和提取。 Zbl 1409.68258号 Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 6 2017 一个小小的阻塞文字可以发挥很大作用。 Zbl 1496.68370号 本杰明·基尔;Heule，Marijn J.H。;马蒂娜·塞德尔 4 2017 静态检测使用正则表达式的程序中的DoS漏洞。 Zbl 1452.68060号 瓦伦丁·Wüstholz;奥斯瓦尔多·奥利沃;Heule，Marijn J.H。;迪利格，伊西尔 3 2017 量化布尔公式的Skolem函数连续性。 Zbl 1491.68192号 卡塔林·法泽卡斯;Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 1 2017 通过cube-and-conquer解决并验证布尔勾股三元组问题。 Zbl 1403.68226号 Heule，Marijn J.H。;奥利弗·库尔曼;维克托·马雷克。 47 2016 SAT和QSAT的条款删除。 兹比尔1336.68231 Marijn脚后跟;马蒂·Järvisalo;弗洛里安·朗辛;马蒂娜·塞德尔;阿明·比尔 23 2015 在DRAT证明中表示对称破缺。 Zbl 1465.68285号 Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 11 2015 SAT中的clique-width方法。 Zbl 1354.68240号 Heule，Marijn J.H。;斯泽德，斯特凡 7 2015 可满足性问题的证明。 Zbl 1431.03024号 Heule，Marijn J.H。;阿明·比尔 4 2015 合成命题证明。 Zbl 1471.68310号 Heule，Marijn J.H。;阿明·比尔 3 2015 计算策略的隐含问题。 Zbl 1428.68088号 雷兹瓦纳·雷兹;穆基特·阿里;穆罕默德·古达。;Heule，Marijn J.H。;Elmallah，Ehab S。 1 2015 DRAT-trim：使用富于表现力的子句证明进行有效的检查和修剪。 Zbl 1423.68475号 内森·韦兹勒;Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。 54 2014 QBF预处理的统一证明系统。 Zbl 1409.68257号 Heule，Marijn J.H。;马蒂娜·塞德尔;阿明·比尔 19 2014 使用子句证明的MUS提取。 Zbl 1423.68436号 安东·贝洛夫;Heule，Marijn J.H。;若昂·西尔瓦侯爵 4 2014 你一直想知道的关于阻塞集的一切（但又不敢问）。 Zbl 1423.68435号 托马斯·巴利奥;安德烈亚斯·弗里奇;Heule，Marijn J.H。;阿明·比尔 4 2014 用扩展的分辨率验证反驳。 Zbl 1381.68270号 Heule，Marijn J.H。;沃伦·亨特（Warren A.jun Hunt）。;内森·韦兹勒 15 2013 扩展分辨率SAT反驳的机械验证。 Zbl 1317.68236号 内森·韦兹勒;Heule，Marijn J.H。;亨特，沃伦·A·琼。 9 2013 阻塞子句分解。 Zbl 1407.68451号 Heule，Marijn J.H。;阿明·比尔 6 2013 伊甸园中的对称。 Zbl 1295.68164号 克里斯蒂安·哈特曼;Heule，Marijn J.H。;基斯·奎克布姆;阿兰·诺尔斯 2 2013 SAT中的clique-width方法。 Zbl 1390.68501号 Heule，Marijn J.H。;斯泽德，斯特凡 2 2013 正在处理规则。 Zbl 1358.68256号 马蒂·Järvisalo;Heule，Marijn J.H。;阿明·比尔 44 2012 在CNF上模拟电路级简化。 Zbl 1267.94144号 马蒂·Järvisalo;阿明·比尔;Heule，Marijn J.H。 16 2012 基于二值蕴涵图的高效CNF简化。 Zbl 1330.68269号 Heule，Marijn J.H。;马蒂·Järvisalo;阿明·比尔 14 2011 在CDCL解算器中重用指定轨迹。 Zbl 1331.68214号 彼得·范德德;安东尼奥·拉莫斯;Marijn脚后跟 2 2011 在重新开始和跳回之间。 Zbl 1330.68276号 安东尼奥·拉莫斯;彼得·范德德;Heule，Marijn J.H。 1 2011 排除阻塞子句。 Zbl 1284.03208号 马蒂·Järvisalo;阿明·比尔;Marijn脚后跟 34 2010 CNF公式的条款删除程序。 Zbl 1306.68144号 Marijn脚后跟;马蒂·Järvisalo;阿明·比尔 21 2010 使用SAT解算器精确识别DFA。 Zbl 1291.68192号 Heule，Marijn J.H。;四川省韦尔市 17 2010 满意度手册。 Zbl 1183.68568号 368 2009 通过模拟Zykov收缩实现动态对称破缺。 Zbl 1247.68260号 巴斯·沙夫斯马;Heule，Marijn J.H。;汉斯·范马伦 4 2009 MAX-SAT的基于平方和的近似算法。 Zbl 1152.68058号 van Maaren，H。;范诺登。;Heule，M.J.H。 2 2008 使用位级操作的并行SAT求解。 Zbl 1170.68594号 Heule，Marijn J.H。;汉斯·范马伦 2 2008 你站在谁一边？在有偏见的搜索树中寻找解决方案。 Zbl 1170.68595号 Heule，Marijn J.H。;汉斯·范马伦 1 2008 构造范德瓦登数下界的一种新方法。 Zbl 1115.05092号 P.R.赫维格。;Heule，M.J.H。;范兰巴金，P.M。;van Maaren，H。 9 2007 有效纳入双重前瞻程序。 Zbl 1214.68356号 Marijn脚后跟;汉斯·范马伦 4 2007 March_dl：添加自适应启发式和新的分支策略。 Zbl 1116.68085号 Heule，Marijn J.H。;汉斯·范马伦 3 2006 March_eq：将额外的推理实现为高效的look-ahead SAT求解器。 Zbl 1122.68599号 Marijn脚后跟;马克·杜福尔;乔里斯·范·兹维滕;汉斯·范马伦 8 2005 调整CNF和等效理由。 Zbl 1122.68600号 Marijn脚后跟;汉斯·范马伦 3 2005 所有引用出版物 前5名被引用出版物 全部的 前5名989位作者引用 30 Heule，Marijn J.H。 21 Joáo P.塞尔瓦侯爵。 19 阿明·比尔 13 马蒂娜·塞德尔 13 斯泽德，斯特凡 12 托尔斯滕·绍布（Torsten H.Schaub）。 12 克里斯托夫·韦登巴赫 11 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 10 奥拉夫·拜尔斯多夫 10 米科拉什·亚诺塔 10 马蒂·Järvisalo 9 维杰·加内什 8 马丁·格布瑟 8 奥利弗·库尔曼 8 Aleksandr Anatol’evich塞梅诺夫 7 霍尔格·H·胡斯。 7 科齐里亚斯（Ilias S.Kotsireas）。 7 弗洛里安·朗辛 6 艾丽卡·阿尔布拉汉姆 6 丹尼尔·贝伦德 6 布莱特，柯蒂斯 6 勒罗伊·周 6 曼纽尔·考尔斯 6 Yochai的Twitto 5 贾斯敏·克里斯蒂安·布兰切特 5 乔舒亚·布林霍恩 5 Randal E.布莱恩特。 5 亚历山德罗·西马蒂 5 本杰明·考夫曼 5 本杰明·基尔 5 莱顿·布朗，凯文 5 马吕斯·林道尔 5 菲利普·马里奇 5 卡洛斯·门西娅 5 罗伯托·塞巴斯蒂亚尼 5 弗里德里希·斯利沃夫斯基 5 马丁·苏达 5 奥列格·谢尔盖维奇·扎金 4 穆苏诺里·班巴拉 4 巴特·博加特 4 乔迪·科尔 4 路易斯·克鲁兹·菲利佩 4 詹姆斯·哈罗德·达文波特 4 利昂·艾弗勒 4 英格兰，马修 4 马蒂亚斯·弗勒里 4 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 4 戈兰，沙哈尔 4 阿尔贝托·格里乔 4 斯蒂芬·科切马佐夫 4 基里恩·克莱默 4 Jean-Marie拉格尼茨 4 约尔迪·利维 4 诺伯特·曼恩 4 大卫·E·纳瓦兹（David E.Narváez）。 4 塞巴斯蒂安·奥德尼亚克 4 拉斐尔·佩尼亚洛萨 4 拉赫达尔·塞伊斯 4 曼弗雷德·舒彻 4 彼得·施奈德·坎普 4 桑吉特·阿伦库马尔·塞希亚 4 苏，武藏 4 塞萨尔·蒂内利 4 索菲·托雷特 4 四川省韦尔市 3 阿尔夫·罗查，蒂亚戈 3 杰里米·阿维加德 3 Seulkee Baek先生 3 托马斯·巴利奥 3 哈尼尔·巴博萨 3 克拉克·W·巴雷特。 3 贝恩德·贝克尔 3 杰里米亚斯·伯格 3 玛丽亚·保拉（Maria Paola Bonacina） 3 马丁·布隆伯格 3 莫里斯·布鲁诺 3 塞缪尔·R·巴斯。 3 迈克尔·科迪什 3 布鲁诺·库塞尔 3 Czarnecki、Krzysztof 3 马克·德内克 3 埃格利，乌韦 3 约翰·克劳斯·费希特 3 帕斯卡·方丹 3 罗伯特·加尼安 3 吉拉尔德斯·克鲁，杰苏斯 3 圣菲省格拉汉·伦格兰德 3 马库斯·赫彻 3 卢克·欣德 3 伊瑟尔，马库斯 3 赛义德·贾布尔 3 汤米·詹胡宁 3 罗兰·卡明斯基 3 丹尼尔·科宁 3 彼得·库切拉 3 彼得·兰米奇 3 李楚敏 3 林奇，因斯 3 Vasco M.Manquinho。 3 很多，费利普 …还有889位作者 全部的 前5名101篇连载文章中引用 39 人工智能 39 自动推理杂志 22 理论计算机科学 16 逻辑程序设计理论与实践 13 约束条件 9 系统设计中的形式化方法 9 人工智能研究杂志 9 计算机科学中的逻辑方法 8 离散应用数学 8 符号计算杂志 7 计算机与系统科学杂志 7 计算机与运筹学 7 国际近似推理杂志 6 ACM计算逻辑事务 6 可满足性、布尔建模与计算杂志 5 信息与计算 5 数学与人工智能年鉴 4 信息学报 4 算法 4 计算的形式方面 3 离散和计算几何 3 SIAM离散数学杂志 3 运筹学年鉴 3 机器学习 3 计算几何 3 自动化和远程控制 3 组合数学电子杂志 3 计算系统理论 3 ACM实验算法杂志 3 离散优化 3 计算机科学中的数学 3 程序设计中的逻辑和代数方法杂志 2 离散数学 2 计算 2 信息科学 2 SIAM计算机杂志 2 美国数学学会公报。新系列 2 计算复杂性 2 国际计算机与系统科学杂志 2 启发式杂志 2 统计力学杂志：理论与实验 1 美国数学月刊 1 计算机与数学及其应用 1 计算机物理通信 1 信息处理信件 1 数学分析杂志 1 ACM数学软件汇刊 1 数学进展 1 Automatica公司 1 模糊集与系统 1 组合理论杂志。系列A 1 数论杂志 1 马塞马提卡 1 筑波数学期刊 1 数学社会科学 1 计算机科学与技术杂志 1 AI通信 1 日本工业与应用数学杂志 1 国际代数与计算杂志 1 几何和功能分析。GAFA公司 1 Aequationes数学 1 欧洲运筹学杂志 1 数学编程。A系列B系列 1 工程、通信和计算中的应用代数 1 SIAM优化杂志 1 实验数学 1 土耳其数学杂志 1 应用Clifford代数的进展 1 顶部 1 工程中的数学问题 1 Doklady数学 1 非线性动力学 1 优化方法和软件 1 组合优化期刊 1 离散数学和理论计算机科学。DMTCS公司 1 澳大利亚和新西兰统计杂志 1 欧洲数学学会杂志（JEMS） 1 计算机基础理论 1 整数 1 几何学进展 1 逻辑与代数程序设计杂志 1 SIAM应用动力系统杂志 1 计算机语言、系统和结构 1 4个或 1 离散算法杂志 1 应用逻辑杂志 1 模糊优化与决策 1 普罗耶奇奥内斯 1 物理学报A：数学与理论 1 国际电子几何杂志 1 非线性分析。混合动力系统 1 RAIRO公司。理论信息学及其应用 1 对称 1 Diskretny®Analiz i Issledovanie Operati® 1 阿塞拜疆数学杂志 1 理论生物学杂志 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 计算机科学前沿 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 DML。离散数学字母 …还有1个系列 全部的 前5名29个字段中引用 432 计算机科学（68至XX） 103 数学逻辑和基础（03-XX） 58 运筹学、数学规划（90-XX） 55 组合数学（05-XX） 19 信息与通信理论、电路（94-XX） 12 凸和离散几何（52至XX） 11 数论（11-XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 11 生物学和其他自然科学（92-XX） 7 统计学（62-XX） 6 系统论；控制（93至XX） 4 总体主题；集合（00-XX） 4 有序，格，有序代数结构（06-XX） 4 动力系统和遍历理论（37至XX） 4 数值分析（65-XX） 3 线性代数和多线性代数；矩阵理论（15-XX） 3 量子理论（81-XX） 2 历史和传记（01-XX） 2 结合环与代数（16-XX） 2 测量和集成（28-XX） 2 几何图形（51至XX） 2 概率论与随机过程（60-XX） 2 统计力学，物质结构（82-XX） 2 数学教育（97-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 1 变分法与最优控制；最优化（49至XX） 1 一般拓扑结构（54至XX） 1 经典热力学，传热（80-XX） 按年份列出的引文