超小卫星 swMATH标识： 577 软件作者： 尼格拉斯·Eén，尼格拉斯·瑟伦森 说明： 可扩展的SAT解算器。MiniSat是一个极简的、开源的SAT解算器，旨在帮助研究人员和开发人员开始SAT。它是在麻省理工学院的许可下发布的，目前在许多项目中使用（见“链接”）。在这个页面上，你会找到与miniat相关的二进制文件、源文件、文档和项目，包括伪布尔解算器miniat+和CNF minimizer/预处理器SatELite。MiniSat与卫星卫星一起，最近获得了2005年SAT竞赛的三个工业类别和一个“精心制作”类别的奖项。 主页： http://miniat.se/ 编程语言： C++ 关键词： SAT解算器，模型检查 相关软件： 糠;伯克明;徘徊;z3型;皮科萨;佐藤;柱脚;SMT-LIB公司;葡萄糖;依斯;重建;萨齐拉;TPTP;Walksat公司;围攻;扣环;CBMC公司;曼萨特;伊莎贝尔/霍尔;CPLEX公司 参考文献： 548种出版物 其他出版物： http://miniat.se/Papers.html 标准条款 1个出版物描述软件，包括1个出版物在zbMATH 年 可扩展的SAT解算器。 Zbl 1204.68191恩，尼格拉斯;Sörensson，尼古拉斯 2004 全部的 前5名949位作者引用 25 席尔瓦侯爵。 21 比尔，阿明 13 格布瑟，马丁 13 赛斯，拉赫达尔 13 肖布，托尔斯滕H。 12 马尔维萨洛，马蒂 11 海勒，玛丽安·J·H。 11 朱蒂拉，汤米A。 11 萨卡拉，卡雷姆A。 10 科宁，丹尼尔 9 里夫钦，瓦迪姆 9 塞巴斯蒂安尼，罗伯托 9 斯图基，彼得·詹姆斯 8 马拉茶，马可 8 尼美拉，伊尔卡N.F。 8 辛兹，卡斯滕 7 奥德马尔，吉尔 7 贝克，伯纳德 7 亚历山德罗·西马蒂 7 加内什，维杰 7 伊格纳蒂耶夫，亚历克赛A。 7 卡明斯基，罗兰 7 本杰明考夫曼 7 利菲顿，马克H。 7 纳德尔，亚历山大 6 恩，尼格拉斯 6 Hyvärinen，Antti E.J。 6 胡说八道，说 6 林奇，因斯 6 斯特里奇曼，奥弗 6 萨特克利夫，杰夫 6 沃尔特兰，斯特凡 5 安索特吉，卡洛斯 5 穆苏诺里班巴拉 5 科迪什，迈克尔 5 多达罗，胭脂红 5 德雷克斯勒，罗尔夫 5 Heljanko，Keijo 5 霍斯，霍尔格H。 5 井上，胜美 5 亚诺塔，米科拉什 5 凯文·莱顿·布朗 5 利勒，尤利娅 5 洛辛，弗洛里安 5 马里奇，菲利普 5 米德尔多普，Aart 5 舒伯特，托比亚斯 5 哦，藏起来 5 Sörensson，尼古拉斯 5 田村，直玉 5 瓦尔德曼，约翰内斯 5 威尔，罗伯特 5 扎克尔，哈拉尔德 4 Ábrahám，埃里卡 4 哈桑阿姆贾德 4 贝洛夫，安东 4 波扎诺，马可 4 布朗，查德·爱德华 4 布鲁努赫，莫里斯 4 克莱森，科恩 4 查内基，克孜什托夫 4 费希特，约翰内斯克劳斯 4 吉尔根，吉尔根 4 朱西格里亚，恩里科 4 哈特，弗兰克 4 科切马佐夫，斯特潘 4 奥利弗，库尔曼 4 拉格尼兹，让-玛丽 4 李建文 4 林道尔，马吕斯 4 门西亚，卡洛斯 4 尼尤文胡斯，罗伯特 4 菲利浦，托比亚斯 4 普雷维蒂，亚历山德罗 4 濮、葛光 4 施耐德·坎普，彼得 4 斯科尔，克里斯托夫 4 塞门诺夫，Aleksandr Anatol'evich 4 希尼，侯赛因M。 4 西蒙，劳伦特S.R。 4 苏达，马丁 4 蒂曼，勒内 4 瓦迪，莫希·雅科夫 4 沃纳，约翰·彼得 三 阿彻伯格，托拜厄斯 三 阿尔维亚诺，马里奥 三 巴拉巴诺夫，瓦莱丽 三 巴约，汤姆訙 三 伯格，杰里米亚斯 三 博加茨，巴特 三 布里肯斯坦，迈克尔 三 布鲁迈尔，罗伯特 三 布鲁托梅索，罗伯托 三 切比亚克，尤里 三 阿德南，达威奇 三 德穆拉，莱昂纳多 三 Denecker，马克 三 德肖维茨，纳库姆 三 吉尔德兹·克鲁，杰斯 三 戈德伯格，尤金L。 …还有849位作者 全部的 前5名在77个系列中引用 43 人工智能 24 自动推理杂志 23 限制条件 20 可满足性，布尔建模与计算杂志 13 系统设计中的形式化方法 12 逻辑程序设计理论与实践 11 人工智能研究杂志 10 数学与人工智能年鉴 9 人工智能通信 9 计算机科学中的逻辑方法 7 理论计算机科学 7 运筹学年鉴 6 计算的形式化方面 6 计算机基础理论 5 计算机程序设计学 4 信息与计算 4 国际近似推理杂志 三 信息处理信函 三 逻辑与计算杂志 三 计算逻辑学报 三 实验算法杂志 三 计算机科学中的数学 2 信息学报 2 离散应用数学 2 离散数学 2 算法杂志 2 计算机与运筹学 2 自动化和远程控制 2 离散算法杂志 2 应用逻辑杂志 2 数学规划计算 2 计算理论 1 控制论学报 1 应用数学与计算 1 模糊集与系统 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 逻辑研究 1 欧洲组合学杂志 1 注：di Matematica 1 符号计算杂志 1 算法 1 离散与计算几何 1 密码学杂志 1 机器学习 1 国际计算机科学基础杂志 1 离散事件动态系统 1 欧洲运筹学杂志 1 模式识别 1 数学规划。A系列。B系列 1 数学科学杂志（纽约） 1 埃及数学学会杂志 1 组合数学电子杂志 1 数学化学杂志 1 工程数学问题 1 计算系统理论 1 优化方法与软件 1 欧洲理论计算机科学协会公报 1 Informatica（维尔纽斯） 1 国际应用数学与计算机科学杂志 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 机器学习研究杂志 1 4或 1 西比尔斯基（SibirskieÈlektronnye Matematicheskie Izvestiya） 1 中国的科学。F系列 1 计算机科学讲义 1 优化信函 1 智慧大学学报。信息 1 密码学与通信 1 形式化推理杂志 1 科学中国。信息科学 1 计算机科学评论 1 计算理论学报 1 电气工程课堂讲稿 1 乌拉尔数学杂志 1 计算机科学教材 全部的 前5名在22个字段中引用 502 计算机科学（68-XX） 61 数理逻辑与基础（03-XX） 44 运筹学，数学规划（90-XX） 26 信息与通信理论，电路（94-XX） 19 组合数学（05-XX） 13 生物学和其他自然科学（92-XX） 4 数论（11-XX） 4 交换代数（13-XX） 4 凸与离散几何（52-XX） 4 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 三 一般性和全局性主题；收藏（00-XX） 三 统计学（62-XX） 2 序，格，有序代数结构（06-XX） 2 几何学（51-XX） 2 数值分析（65-XX） 2 量子理论（81-XX） 2 系统论；控制（93-XX） 1 场论与多项式（12-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 按年份引用出版物