超小卫星 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公司;扣环;ManySAT公司 引用于: 588文件 更多出版物: http://minisat.se/Papers.html 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 可扩展SAT解决方案。 Zbl 1204.68191号尼古拉斯·埃恩;尼古拉斯·Sörensson 2004 全部的 前5名1033位作者引用 25 Joáo P.塞尔瓦侯爵。 23 阿明·比尔 17 Heule,Marijn J.H。 13 马丁·格布瑟 13 拉赫达尔·塞伊斯 13 托尔斯滕·绍布(Torsten H.Schaub)。 12 马蒂·Järvisalo 11 汤米·A·琼蒂拉。 11 丹尼尔·科宁 11 卡伦·萨卡拉。 9 瓦迪姆·里夫钦 9 罗伯托·塞巴斯蒂亚尼 9 彼得·詹姆斯·斯塔基 8 维杰·加内什 8 马可·马拉提亚 8 Niemelä,Ilkka N.F。 8 卡斯滕·辛兹 7 吉尔·奥德玛 7 贝恩德·贝克尔 7 亚历山德罗·西马蒂 7 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 7 罗兰·卡明斯基 7 本杰明·考夫曼 7 马克·利菲顿(Mark H.Liffiton)。 7 亚历山大·纳德尔 7 杰夫·萨特克利夫 6 卡明·多达罗 6 尼古拉斯·埃恩 6 Hyvärinen,Antti E.J。 6 赛义德·贾布尔 6 米科拉什·亚诺塔 6 林奇,因斯 6 斯特里赫曼(Ofer Strichman) 6 斯特凡·沃尔特兰 5 卡洛斯·安索特吉 5 穆苏诺里·班巴拉 5 迈克尔·科迪什 5 罗尔夫·德雷克斯勒 5 凯乔·赫尔扬科 5 胡斯,霍尔格H。 5 井上,胜美 5 凯文·莱顿·布朗 5 尤利亚·利勒 5 弗洛里安·朗辛 5 Marić,菲律宾 5 阿尔特·米德尔多普 5 托拜厄斯·舒伯特 5 苏,武藏 5 尼古拉斯·Sörensson 5 铃木田村 5 莫西·亚亚科夫·瓦尔迪 5 约翰内斯·沃尔德曼 5 罗伯特·威利 5 哈拉尔德·赞克 4 艾丽卡·阿尔布拉汉姆 4 哈桑·阿姆贾德 4 克拉克·W·巴雷特。 4 安东·贝洛夫 4 巴特·博加特 4 马可·波扎诺 4 乍得·布朗·爱德华 4 莫里斯·布吕诺格 4 Czarnecki、Krzysztof 4 约翰·克劳斯·费希特 4 于尔根·吉斯尔 4 恩里科·金西格里亚 4 弗兰克·哈特 4 斯蒂芬·科切马佐夫 4 奥利弗·库尔曼 4 Jean-Marie拉格尼茨 4 李建文 4 马里乌斯·林道尔 4 卡洛斯·门西亚 4 罗伯特·纽文胡斯 4 托拜厄斯·菲利普 4 亚历山德罗·普雷维蒂 4 浦、葛光 4 弗朗西斯科·里卡 4 彼得·施奈德·坎普 4 克里斯托夫·斯科尔 4 Aleksandr Anatol’evich塞梅诺夫 4 桑吉特·阿伦库马尔·塞希亚 4 侯赛因·M·希尼。 4 劳伦特·西蒙。 4 马丁·苏达 4 雷内·蒂曼 4 约翰·彼得·沃纳 4 克里斯托夫·韦登巴赫 三 托拜厄斯·阿切特伯格 三 马里奥·阿尔维亚诺 三 瓦莱里·巴拉巴诺夫 三 托马斯·巴利奥 三 杰里米亚斯·伯格 三 迈克尔·布里肯斯坦 三 罗伯特·布鲁迈耶 三 罗伯特·布鲁托梅索 三 Randal E.布莱恩特。 三 尤里·切比里亚克 三 科恩·克莱森 三 阿德南·达尔维切 …还有933位作者 全部的 前5名81篇连载文章中引用 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 纯代数与应用代数杂志 1 逻辑研究 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个字段中引用 539 计算机科学(68至XX) 70 数学逻辑和基础(03-XX) 46 运筹学、数学规划(90-XX) 30 信息与通信理论、电路(94-XX) 26 组合数学(05-XX) 14 生物学和其他自然科学(92-XX) 4 阶、格、有序代数结构(06-XX) 4 数论(11-XX) 4 交换代数(13-XX) 4 凸和离散几何(52至XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 总体主题;集合(00-XX) 三 统计学(62-XX) 三 数值分析(65-XX) 2 几何图形(51至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) 按年份列出的引文