超小卫星 swMATH ID: 577 软件作者： Niklas Eén、Niklas Sörensson 描述： 可扩展SAT解决方案。MiniSat是一个简化的开源SAT解算器，旨在帮助研究人员和开发人员开始SAT。它是根据MIT许可证发布的，目前在许多项目中使用（参见“链接”）。在这个页面上，您可以找到与MiniSat相关的二进制文件、源代码、文档和项目，包括伪布尔解算器MiniSat+和CNF最小化器/预处理器SatELite。最近，MiniSat与SatELite一起获得了2005年SAT竞赛的三个行业类别和一个“精心制作”类别的奖项。 主页： http://minisat.se网站/ 源代码： https://github.com/niklasso/minisat网站/ 编程语言： C类++ 关键词： SAT解算器；模型检查 相关软件： 糠；伯克明州；z3（零3）；玲玲；PicoSAT卫星；SATO公司；弯曲；葡萄糖；SMT-LIB公司；TPTP公司；Treengeling公司；Yices公司；萨特齐拉；钙DiCaL；徒步旅行；CBMC公司；围攻；VAMPIRE公司；扣环；伊莎贝尔/HOL 引用于： 587文件 更多出版物： http://minisat.se/Papers.html 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 可扩展SAT解决方案。 Zbl 1204.68191号尼古拉斯·埃恩；尼古拉斯·Sörensson 2004 全部的 前5名1030位作者引用 25 Joáo P.塞尔瓦侯爵。 23 阿明·比尔 17 Heule，Marijn J.H。 13 马丁·格布瑟 13 拉赫达尔·塞伊斯 13 托尔斯滕·绍布（Torsten H.Schaub）。 12 马蒂·Järvisalo 11 汤米·A·琼蒂拉。 11 丹尼尔·科宁 11 卡里姆·A·萨卡拉。 9 瓦迪姆·雷夫钦 9 罗伯托·塞巴斯蒂亚尼 9 彼得·詹姆斯·斯塔基 8 维杰·加内什 8 马可·马拉提亚 8 Niemelä，Ilkka N.F。 8 卡斯滕·辛兹 7 吉尔·奥德玛 7 贝恩德·贝克尔 7 亚历山德罗·西马蒂 7 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 7 罗兰·卡明斯基 7 本杰明·考夫曼 7 马克·利菲顿。 7 亚历山大·纳德尔 7 杰夫·萨特克利夫 6 卡明·多达罗 6 尼古拉斯·埃恩 6 安蒂·E·J·海瓦·里宁。 6 赛义德·贾布尔 6 米科拉什·亚诺塔 6 林奇，因斯 6 斯特里赫曼（Ofer Strichman） 6 斯特凡·沃尔特兰 5 卡洛斯·安索特吉 5 穆苏诺里·班巴拉 5 迈克尔·科迪什 5 罗尔夫·德雷克斯勒 5 凯乔·赫尔扬科 5 霍尔格·H·胡斯。 5 井上，胜美 5 凯文·莱顿·布朗 5 尤利亚·利勒 5 弗洛里安·朗辛 5 菲利普·马里奇 5 阿尔特·米德尔多普 5 托拜厄斯·舒伯特 5 Soh，武藏 5 尼古拉斯·Sörensson 5 铃木田村 5 莫西·亚亚科夫·瓦尔迪 5 约翰内斯·沃尔德曼 5 罗伯特·威利 5 哈拉尔德·赞克 4 艾丽卡·阿尔布拉汉姆 4 哈桑·阿姆贾德 4 克拉克·W·巴雷特。 4 安东·贝洛夫 4 巴特·博加特 4 马可·波扎诺 4 乍得·布朗·爱德华 4 莫里斯·布吕诺格 4 Czarnecki、Krzysztof 4 约翰·克劳斯·费希特 4 吉尔根·吉斯尔 4 恩里科Giunchilia 4 弗兰克·哈特 4 斯蒂芬·科切马佐夫 4 奥利弗·库尔曼 4 Jean-Marie拉格尼茨 4 李建文 4 马吕斯·林道尔 4 卡洛斯·门西娅 4 罗伯特·纽文胡斯 4 托拜厄斯·菲利普 4 亚历山德罗·普雷维蒂 4 浦、葛光 4 弗朗西斯科·里卡 4 彼得·施奈德·坎普 4 克里斯托夫·斯科尔 4 Aleksandr Anatol’evich塞梅诺夫 4 桑吉特·阿伦库马尔·塞希亚 4 侯赛因·M·希尼。 4 Laurent S.R.西蒙。 4 马丁·苏达 4 雷内·蒂曼 4 约翰·彼得·沃纳 4 克里斯托夫·韦登巴赫 三 托拜厄斯·阿切特伯格 三 马里奥·阿尔维亚诺 三 瓦莱里·巴拉巴诺夫 三 托马斯·巴利奥 三 杰里米亚斯·伯格 三 迈克尔·布里肯斯坦 三 罗伯特·布鲁迈耶 三 罗伯特·布鲁托梅索 三 Randal E.布莱恩特。 三 尤里·切比里亚克 三 科恩·克莱森 三 阿德南·达尔维切 …还有930多名作者 全部的 前5名80篇连载文章中引用 43 人工智能 29 自动推理杂志 25 约束条件 20 可满足性、布尔建模与计算杂志 15 系统设计中的形式化方法 12 人工智能研究杂志 12 逻辑程序设计理论与实践 10 人工智能通信 10 数学与人工智能年鉴 9 计算机科学中的逻辑方法 7 理论计算机科学 7 运筹学年鉴 6 计算机基础理论 5 计算机程序设计科学 5 计算的形式方面 4 信息与计算 4 国际近似推理杂志 4 ACM计算逻辑事务 三 信息学报 三 离散数学 三 信息处理信件 三 逻辑与计算杂志 三 ACM实验算法杂志 三 计算机科学中的数学 2 离散应用数学 2 算法杂志 2 计算机与运筹学 2 自动化和远程控制 2 离散算法杂志 2 应用逻辑杂志 2 数学规划计算 2 计算理论 1 美国数学月刊 1 控制论学报 1 应用数学与计算 1 模糊集与系统 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 Studia Logica公司 1 欧洲组合数学杂志 1 注释di Matematica 1 图与组合 1 符号计算杂志 1 算法 1 离散和计算几何 1 密码学杂志 1 机器学习 1 国际计算机科学基础杂志 1 离散事件动态系统 1 欧洲运筹学杂志 1 模式识别 1 数学编程。A系列B系列 1 数学科学杂志（纽约） 1 埃及数学学会杂志 1 组合数学电子杂志 1 数学化学杂志 1 工程中的数学问题 1 计算系统理论 1 优化方法和软件 1 图形算法与应用杂志 1 欧洲理论计算机科学协会公报 1 Informatica（维尔纽斯） 1 国际应用数学与计算机科学杂志 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 机器学习研究杂志（JMLR） 1 4个或 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 中国科学。F系列 1 计算机科学课堂讲稿 1 优化信函 1 《大学学报》。Informatica公司 1 密码学和通信 1 形式化推理杂志 1 科学中国。信息科学 1 计算机科学评论 1 ACM计算理论汇刊 1 电气工程课堂讲稿 1 乌拉尔数学杂志 1 计算机科学课文 全部的 前5名在24个字段中引用 538 计算机科学（68至XX） 70 数理逻辑与基础（03-XX） 46 运筹学、数学规划（90-XX） 30 信息与通信理论、电路（94-XX） 25 组合数学（05-XX） 14 生物学和其他自然科学（92-XX） 4 阶、格、有序代数结构（06-XX） 4 数论（11-XX） 4 交换代数（13-XX） 4 凸和离散几何（52至XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 总体主题；集合（00-XX） 三 统计学（62-XX） 2 几何图形（51至XX） 2 数值分析（65-XX） 2 量子理论（81-XX） 2 系统论；控制（93至XX） 1 一般代数系统（08-XX） 1 场论与多项式（12-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 概率论与随机过程（60-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 按年份列出的引文