编辑配置文件（在新选项卡中打开） 马蒂·Järvisalo 合著者距离 作者ID： 贾维萨洛·马蒂 发布日期： 马蒂·Järvisalo 外部链接： ORCID公司 已编制索引的文档： 55出版物自2005年以来 1名编辑贡献 合著者： 60位合著者具有56联合出版物 956位合作作者 全部的 前5名合著者 0 单作者的 9 安德烈亚斯·尼斯卡宁 8 阿明·比尔 8 Heule，Marijn J.H。 8 约翰·彼得·沃纳 7 杰里米亚斯·伯格 6 Niemelä，Ilkka N.F。 6 埃米利亚·奥伊卡里宁 5 Janne H.Korhonen。 4 汤米·A·琼蒂拉。 4 托莫莱顿 三 安蒂·海蒂宁 三 佩特里·卡斯基 三 保罗·赛科 三 朱卡·索米拉 2 沃尔夫冈·德沃亚克 2 劳里·T·海拉。 2 汤米·詹胡宁 2 米科·科维斯托 2 安蒂·库西斯托 2 朱哈纳·劳林哈尔朱 2 Lempiäinen，图莫 2 科科·洛斯托 2 Joáo P.塞尔瓦侯爵。 2 亚历山德罗·普雷维蒂 2 卡里·兰塔南 2 乔尼·维特玛 2 斯特凡·沃尔特兰 1 马里奥·阿尔维亚诺 1 马克·巴特利特 1 多萝西娅·鲍迈斯特 1 安东·贝洛夫 1 罗伯特·布鲁迈耶 1 詹姆斯·库森 1 大卫·丹克斯 1 卡明·多达罗 1 多列夫，丹尼 1 弗雷德里克·埃伯哈特 1 寻找，马格努斯·高斯达尔 1 弗罗莱克斯，尼尔斯 1 米卡·哥尔斯 1 哈里·哈帕德 1 凯乔·赫尔扬科 1 汉内斯·伊哈莱宁 1 马库斯·伊泽尔 1 图卡Korhonen 1 克里斯托夫·伦岑 1 托马斯·林斯比勒 1 弗洛里安·隆辛 1 马龙、布兰登 1 马可·马拉提亚 1 卡洛斯·门西娅 1 杰尔·穆斯托宁 1 丹尼尔·纽格鲍尔 1 谢尔盖·普利斯 1 约格·马提亚斯·罗特 1 乔尔·里比奇 1 马蒂娜·塞德尔 1 马丁·苏达 1 范·盖尔德，艾伦 1 Siert Wieringa公司 全部的 前5名系列 5 人工智能研究杂志 4 人工智能 4 逻辑程序设计理论与实践 2 计算机与系统科学杂志 2 国际近似推理杂志 1 算法杂志 1 自动推理杂志 1 分布式计算 1 数学与人工智能年鉴 1 约束条件 1 ACM实验算法杂志 1 计算机科学课堂讲稿 1 可满足性、布尔建模与计算杂志 全部的 前5名领域 56 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 5 统计学（62-XX） 5 信息与通信理论、电路（94-XX） 三 运筹学、数学规划（90-XX） 1 一般性和全局性主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用341次224文件 引用人▼ 年份▼ 正在处理规则。 Zbl 1358.68256号 马蒂·Järvisalo;Heule，Marijn J.H。;阿明·比尔 44 2012 排除阻塞子句。 Zbl 1284.03208号 马蒂·Järvisalo;阿明·比尔;Marijn脚后跟 34 2010 SAT和QSAT的条款删除。 Zbl 1336.68231号 Marijn脚后跟;马蒂·Järvisalo;弗洛里安·隆辛;马蒂娜·塞德尔;阿明·比尔 23 2015 CNF公式的条款删除程序。 Zbl 1306.68144号 Marijn脚后跟;马蒂·Järvisalo;阿明·比尔 21 2010 抽象论证的复杂敏感决策程序。 Zbl 1334.68206号 沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 19 2014 在CNF上模拟电路级简化。 Zbl 1267.94144号 马蒂·Järvisalo;阿明·比尔;Heule，Marijn J.H。 16 2012 基于二元蕴涵图的高效CNF简化。 Zbl 1330.68269号 Heule，Marijn J.H。;马蒂·Järvisalo;阿明·比尔 14 2011 接受不完整的论证框架。 Zbl 1519.68244号 多萝西娅·鲍迈斯特;马蒂·Järvisalo;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 14 2021 分布式计算的弱模型，与模态逻辑有联系。 Zbl 1322.68075号 你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 13 2015 抽象论证中扩展实施的复杂性结果和算法。 兹比尔1418.68196 约翰·沃纳（Johannes P.Wallner）。;安德烈亚斯·尼斯卡宁;马蒂·Järvisalo 9 2017 子句学习中受限分支的局限性。 Zbl 1192.68643号 马蒂·Järvisalo;汤米·琼蒂拉 8 2009 LMHS：SAT-IP混合MaxSat解算器。 Zbl 1475.68449号 保罗·赛科;杰里米亚斯·伯格;马蒂·Järvisalo 8 2016 2020年SAT竞赛。 Zbl 1478.68320号 弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 8 2021 布尔电路表方法中的无限制切割与限制切割。 Zbl 1086.03048号 马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 7 2005 贝叶斯网络结构学习与整数规划：多面体，方面和复杂性。 Zbl 1404.68099号 詹姆斯·库森;马蒂·Järvisalo;Janne H.Korhonen。;马克·巴特利特 7 2017 分布式计算的弱模型，与模态逻辑有关。 Zbl 1301.68120号 你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 6 2012 同步计数和计算算法设计。 Zbl 1346.68038号 多列夫，丹尼;凯乔·赫尔扬科;马蒂·Järvisalo;Janne H.Korhonen。;克里斯托夫·伦岑;乔尔·里比奇;朱卡·索米拉;Siert威林加 6 2016 从子采样时间序列数据中发现因果关系的约束优化方法。 Zbl 1419.68076号 安蒂·海蒂宁;谢尔盖·普利斯;马蒂·Järvisalo;弗雷德里克·埃伯哈特;大卫·丹克斯 6 2017 MUS提取中的公式预处理。 Zbl 1381.68146号 安东·贝洛夫;马蒂·Järvisalo;若昂·西尔瓦侯爵 5 2013 寻找有效的集成计算电路。 Zbl 1273.68179号 马蒂·Järvisalo;佩特里·卡斯基;米科·科维斯托;Janne H.Korhonen。 5 2012 从结构化论证到抽象论证：通过AF推理进行基于假设的接受。 Zbl 1491.68205号 托莫莱顿;约翰内斯·沃尔纳。;马蒂·Järvisalo 5 2017 ASP中通过最小模型和不可满足的核心进行谨慎推理。 Zbl 1451.68267号 马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 5 2018 删除阻塞子句后重建解决方案。 Zbl 1306.68159号 马蒂·Järvisalo;阿明·比尔 4 2010 基于模块的多语言约束建模框架。 Zbl 1258.68136号 马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔 4 2009 常规逻辑程序中的扩展ASP表和规则冗余。 Zbl 1213.68178号 马蒂·Järvisalo;埃米利亚·奥伊卡里宁 4 2007 从实例中综合论证框架。 Zbl 1403.68272号 安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 4 2016 通过潜在最大团解决图问题：Bouchitté-Todinca算法的实验评估。 Zbl 1521.68101号 图卡·科霍宁;杰里米亚斯·伯格;马蒂·Järvisalo 4 2019 从实例中综合论证框架。 Zbl 1494.68260号 安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 4 2019 Max-ASP：答案集程序的最大可满足性。 Zbl 1258.68037号 埃米利亚·奥伊卡里宁;马蒂·Järvisalo 三 2009 结构分支对小句学习SAT解题效率的影响：一项实验研究。 Zbl 1162.68655号 马蒂·Järvisalo;伊尔卡·尼梅尔 三 2008 限制分支在小句学习中的局限性。 兹比尔1145.68517 马蒂·Järvisalo;汤米·琼蒂拉 三 2007 基于假设的论证的声明性算法和复杂性结果。 Zbl 1519.68254号 托莫莱顿;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 三 2021 通过替换模式预处理论证框架。 Zbl 1525.68165号 沃尔夫冈·德沃亚克;马蒂·Järvisalo;托马斯·林斯比勒;安德烈亚斯·尼斯卡宁;斯特凡·沃尔特兰 三 2019 常规逻辑程序中的扩展ASP表和规则冗余。 Zbl 1156.68011号 马蒂·Järvisalo;艾米莉亚·奥伊卡里宁 2 2008 用于学习图形模型的基于MaxSAT的切割平面。 Zbl 1459.68193号 保罗·赛科;马龙、布兰登;马蒂·Järvisalo 2 2015 Pakota：抽象论证中的强制执行系统。 Zbl 1483.68383号 安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 2 2016 用于基准等价推理技术的难满足子句集。 兹伯利1116.68084 哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔 2 2006 对论证动力学中的难题进行了强有力的改进。 Zbl 1464.68369号 安德烈亚斯·尼斯卡宁;马蒂·Järvisalo 2 2020 发现带有循环和潜在混杂因素的因果图：一种精确的分枝定界方法。 Zbl 1468.68166号 卡里·兰塔南;安蒂·海蒂宁;马蒂·Järvisalo 2 2020 基于加权部分最大可满足性的最优约束相关聚类。 Zbl 1404.68138号 杰里米亚斯·伯格;马蒂·Järvisalo 2 2017 满意度测试的理论和应用——2013年SAT。第十六届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼程序。 Zbl 1268.68023号 1 2013 通过缓存改进MCS枚举。 Zbl 1496.68258号 亚历山德罗·普雷维蒂;卡洛斯·门西娅;马蒂·Järvisalo;若昂·西尔瓦侯爵 1 2017 基于SAT的方法，用于调整、修复和计算论证框架的最大扩展。 Zbl 1430.68311号 托莫莱顿;安德烈亚斯·尼斯卡宁;马蒂·Järvisalo 1 2018 最大满意度的嵌入标签消除。 兹比尔1403.68235 杰里米亚斯·伯格;保罗·赛科;马蒂·Järvisalo 1 2016 统一推理和核引导搜索以获得最大可满足性。 Zbl 1525.68141号 杰里米亚斯·伯格;马蒂·Järvisalo 1 2019 接受不完整的论证框架。 Zbl 1519.68244号 多萝西娅·鲍迈斯特;马蒂·Järvisalo;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 14 2021 2020年SAT竞赛。 Zbl 1478.68320号 弗罗莱克斯，尼尔斯;Marijn脚后跟;马库斯·伊泽尔;马蒂·Järvisalo;马丁·苏达 8 2021 基于假设的论证的声明性算法和复杂性结果。 兹比尔1519.68254 托莫莱顿;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 三 2021 对论证动力学中的难题进行了强有力的改进。 Zbl 1464.68369号 安德烈亚斯·尼斯卡宁;马蒂·Järvisalo 2 2020 发现带有循环和潜在混杂因素的因果图：一种精确的分枝定界方法。 Zbl 1468.68166号 卡里·兰塔南;安蒂·海蒂宁;马蒂·Järvisalo 2 2020 通过潜在最大团解决图问题：Bouchitté-Todinca算法的实验评估。 Zbl 1521.68101号 图卡·科霍宁;杰里米亚斯·伯格;马蒂·Järvisalo 4 2019 从实例中综合论证框架。 Zbl 1494.68260号 安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 4 2019 通过替换模式预处理论证框架。 Zbl 1525.68165号 沃尔夫冈·德沃亚克;马蒂·Järvisalo;托马斯·林斯比勒;安德烈亚斯·尼斯卡宁;斯特凡·沃尔特兰 三 2019 统一推理和核引导搜索以获得最大可满足性。 Zbl 1525.68141号 杰里米亚斯·伯格;马蒂·Järvisalo 1 2019 ASP中通过最小模型和不可满足的核心进行谨慎推理。 Zbl 1451.68267号 马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 5 2018 基于SAT的方法，用于调整、修复和计算论证框架的最大扩展。 Zbl 1430.68311号 托莫·莱托宁;安德烈亚斯·尼斯卡宁;马蒂·Järvisalo 1 2018 抽象论证中扩展实施的复杂性结果和算法。 Zbl 1418.68196号 约翰·沃纳（Johannes P.Wallner）。;安德烈亚斯·尼斯卡宁;马蒂·Järvisalo 9 2017 贝叶斯网络结构学习与整数规划：多面体，方面和复杂性。 Zbl 1404.68099号 詹姆斯·库森;马蒂·Järvisalo;Janne H.Korhonen。;马克·巴特利特 7 2017 从子采样时间序列数据中发现因果关系的约束优化方法。 Zbl 1419.68076号 安蒂·海蒂宁;谢尔盖·普利斯;马蒂·Järvisalo;弗雷德里克·埃伯哈特;大卫·丹克斯 6 2017 从结构化到抽象论证：通过AF推理的基于假设的接受。 Zbl 1491.68205号 托莫莱顿;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 5 2017 基于加权部分最大可满足性的最优约束相关聚类。 Zbl 1404.68138号 杰里米亚斯·伯格;马蒂·Järvisalo 2 2017 通过缓存改进MCS枚举。 Zbl 1496.68258号 亚历山德罗·普雷维蒂;卡洛斯·门西娅;马蒂·Järvisalo;若昂·西尔瓦侯爵 1 2017 LMHS：SAT-IP混合MaxSat解算器。 Zbl 1475.68449号 保罗·赛科;杰里米亚斯·伯格;马蒂·Järvisalo 8 2016 同步计数和计算算法设计。 Zbl 1346.68038号 多列夫，丹尼;凯乔·赫尔扬科;马蒂·Järvisalo;Janne H.Korhonen。;克里斯托夫·伦岑;乔尔·里比奇;朱卡·索米拉;Siert Wieringa公司 6 2016 从实例中综合论证框架。 Zbl 1403.68272号 安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 4 2016 Pakota：抽象论证中的强制执行系统。 Zbl 1483.68383号 安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;马蒂·Järvisalo 2 2016 最大可满足性的子假设标签消除。 Zbl 1403.68235号 杰里米亚斯·伯格;保罗·赛科;马蒂·Järvisalo 1 2016 SAT和QSAT的条款删除。 Zbl 1336.68231号 Marijn脚后跟;马蒂·Järvisalo;弗洛里安·隆辛;马蒂娜·塞德尔;阿明·比尔 23 2015 分布式计算的弱模型，与模态逻辑有关。 Zbl 1322.68075号 你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈娜·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维尔特玛 13 2015 用于学习图形模型的基于MaxSAT的切割平面。 Zbl 1459.68193号 保罗·赛科;马龙、布兰登;马蒂·Järvisalo 2 2015 抽象论证的复杂敏感决策程序。 Zbl 1334.68206号 沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 19 2014 MUS提取中的公式预处理。 Zbl 1381.68146号 安东·贝洛夫;马蒂·Järvisalo;若昂·西尔瓦侯爵 5 2013 满意度测试的理论和应用——2013年SAT。第十六届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼程序。 Zbl 1268.68023号 1 2013 正在处理规则。 Zbl 1358.68256号 马蒂·Järvisalo;Heule，Marijn J.H。;阿明·比尔 44 2012 在CNF上模拟电路级简化。 Zbl 1267.94144号 马蒂·Järvisalo;阿明·比尔;Heule，Marijn J.H。 16 2012 分布式计算的弱模型，与模态逻辑有关。 Zbl 1301.68120号 你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 6 2012 寻找有效的集成计算电路。 Zbl 1273.68179号 马蒂·Järvisalo;佩特里·卡斯基;米科·科维斯托;Janne H.Korhonen。 5 2012 基于二值蕴涵图的高效CNF简化。 Zbl 1330.68269号 Heule，Marijn J.H。;马蒂·Järvisalo;阿明·比尔 14 2011 排除阻塞子句。 Zbl 1284.03208号 马蒂·Järvisalo;阿明·比尔;Marijn脚后跟 34 2010 CNF公式的条款删除程序。 Zbl 1306.68144号 Marijn脚后跟;马蒂·Järvisalo;阿明·比尔 21 2010 删除阻塞子句后重建解决方案。 Zbl 1306.68159号 马蒂·Järvisalo;阿明·比尔 4 2010 限制分支在小句学习中的局限性。 兹比尔1192.68643 马蒂·Järvisalo;汤米·琼蒂拉 8 2009 基于模块的多语言约束建模框架。 兹比尔1258.68136 马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔 4 2009 Max-ASP：答案集程序的最大可满足性。 Zbl 1258.68037号 埃米利亚·奥伊卡里宁;马蒂·Järvisalo 三 2009 结构分支对小句学习SAT解题效率的影响：一项实验研究。 Zbl 1162.68655号 马蒂·Järvisalo;伊尔卡·尼梅尔 三 2008 常规逻辑程序中的扩展ASP表和规则冗余。 Zbl 1156.68011号 马蒂·Järvisalo;埃米利亚·奥伊卡里宁 2 2008 常规逻辑程序中的扩展ASP表和规则冗余。 Zbl 1213.68178号 马蒂·Järvisalo;埃米利亚·奥伊卡里宁 4 2007 限制分支在小句学习中的局限性。 Zbl 1145.68517号 马蒂·Järvisalo;汤米·琼蒂拉 三 2007 用于基准等价推理技术的难满足子句集。 兹伯利1116.68084 哈里·哈帕德;马蒂·Järvisalo;佩特里·卡斯基;伊尔卡·尼梅尔 2 2006 布尔电路表方法中的无限制切割与限制切割。 Zbl 1086.03048号 马蒂·Järvisalo;汤米·琼蒂拉;伊尔卡·尼梅尔 7 2005 所有引用出版物 前5名被引用出版物 全部的 前5名414位作者引用 20 Heule，Marijn J.H。 17 阿明·比尔 17 马蒂·Järvisalo 9 马蒂娜·塞德尔 9 斯特凡·沃尔特兰 7 托马斯·林斯比勒 7 约翰·彼得·沃纳 6 莎拉·爱丽丝·加格尔 6 马可·马拉提亚 6 Joáo P.塞尔瓦侯爵。 6 朱卡·索米拉 5 沃尔夫冈·德沃亚克 5 本杰明·基尔 5 弗洛里安·隆辛 4 马里奥·阿尔维亚诺 4 杰里米亚斯·伯格 4 格哈德·布鲁卡 4 Jean-Marie拉格尼茨 4 Jean-Guy，梅利 4 安德烈亚斯·尼斯卡宁 4 费比安·雷特 4 约格·马提亚斯·罗特 4 托尔斯滕·绍布（Torsten H.Schaub）。 三 托马斯·巴利奥 三 鲍曼，林戈 三 多萝西娅·鲍迈斯特 三 贾斯敏·克里斯蒂安·布兰切特 三 马丁·迪勒 三 卡明·多达罗 三 埃格利，乌韦 三 托马斯·艾特 三 吉拉尔德斯·克鲁，杰苏斯 三 恩里科·金西格里亚 三 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 三 马库斯·伊泽尔 三 汤米·詹胡宁 三 米科拉什·亚诺塔 三 斯蒂芬·科切马佐夫 三 安蒂·库西斯托 三 克里斯托夫·伦岑 三 约尔迪·利维 三 林奇，因斯 三 诺伯特·曼恩 三 雷比基，乔尔 三 拉赫达尔·塞伊斯 三 Aleksandr Anatol’evich塞梅诺夫 三 卡斯滕·辛兹 三 马丁·苏达 2 乔瓦尼·阿蒙多拉 2 卡洛斯·安索特吉 2 吉尔·奥德玛 2 Seulkee Baek先生 2 李·巴奈特（Lee A.Barnett）。 2 贝恩德·贝克尔 2 罗德里克·布洛姆 2 贝内迪克特·博利格 2 乔舒亚·布拉肯西克 2 Randal E.布莱恩特。 2 詹姆斯·库森 2 大卫·丹克斯 2 詹姆斯·德尔格兰德。 2 贝蒂娜·法辛加 2 塞尔吉奥·弗莱斯卡 2 玛丽·何塞·福廷 2 Fraigniaud，皮埃尔 2 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 2 保罗·加斯丁 2 马丁·格布瑟 2 尤塞夫·哈马迪 2 尼尔斯·理查德·汉森 2 大卫·C·霍斯。 2 安德烈亚斯·赫齐格 2 胡胡·赫沃宁 2 安蒂·海蒂宁 2 赛义德·贾布尔 2 汤米·A·琼蒂拉。 2 佩特里·卡斯基 2 曼纽尔·考尔斯 2 本杰明·考夫曼 2 Janne H.Korhonen。 2 图卡·科霍宁 2 康斯坦丁·科洛文 2 杰克·库珀斯。 2 托莫Lempiäinen 2 尼古拉·利昂 2 李楚敏 2 马吕斯·林道尔 2 约翰·麦基 2 Vasco M.Manquinho。 2 很多，费利普 2 V.Wiktor马雷克 2 皮埃尔侯爵 2 鲁本·马丁斯 2 贝特朗·马祖尔 2 朱西·莫法 2 索伦·温格尔·莫根森 2 安托尼奥·莫尔加多 2 玛格努斯·奥·米林。 2 纳尔瓦兹，大卫·E。 2 丹尼尔·纽格鲍尔 …还有314位作者 全部的 前5名43篇连载文章中引用 35 人工智能 12 自动推理杂志 11 逻辑程序设计理论与实践 9 约束条件 7 国际近似推理杂志 5 系统设计中的形式化方法 5 数学与人工智能年鉴 4 计算机与系统科学杂志 4 可满足性、布尔建模与计算杂志 4 计算机科学中的逻辑方法 三 分布式计算 2 理论计算机科学 2 计算机与运筹学 2 AI通信 2 机器学习 2 应用非经典逻辑杂志 2 组合数学电子期刊 2 ACM计算逻辑事务 1 信息学报 1 统计年鉴 1 信息科学 1 SIAM计算机杂志 1 合成 1 符号计算杂志 1 算法 1 信息与计算 1 运筹学年鉴 1 数学编程。A系列B系列 1 人工智能研究杂志 1 伯努利 1 组合优化期刊 1 跨学科信息科学（IIS） 1 计算机基础理论 1 计算数学基础 1 机器学习研究杂志（JMLR） 1 4OR（或） 1 ACM实验算法杂志 1 离散算法杂志 1 计算机科学中的数学 1 电子统计杂志 1 计算与图形统计杂志 1 对称 1 SIAM数据科学数学杂志 全部的 前5名13个领域引用 212 计算机科学（68至XX） 33 数学逻辑和基础（03-XX） 15 运筹学、数学规划（90-XX） 12 统计学（62-XX） 10 组合数学（05-XX） 7 信息与通信理论、电路（94-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 凸和离散几何（52至XX） 三 概率论与随机过程（60-XX） 2 数值分析（65-XX） 2 生物学和其他自然科学（92-XX） 1 有序，格，有序代数结构（06-XX） 1 近似值和展开值（41至XX） 按年份列出的引文