×

超小卫星

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
全部的 前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 卡伦·萨卡拉。
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 安蒂·E·J·海瓦·里宁。
6 赛义德·贾布尔
6 米科拉什·亚诺塔
6 林奇,因斯
6 斯特里赫曼(Ofer Strichman)
6 斯特凡·沃特兰
5 卡洛斯·安索特吉
5 穆苏诺里·班巴拉
5 迈克尔·科迪什
5 罗尔夫·德雷克斯勒
5 凯乔·赫尔扬科
5 霍尔格·H·胡斯。
5 井上,Katsumi
5 凯文·莱顿·布朗
5 尤利亚·利勒
5 弗洛里安·朗辛
5 菲利普·马里奇
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 恩里科Giunchilia
4 弗兰克·哈特
4 斯蒂芬·科切马佐夫
4 奥利弗·库尔曼
4 Jean-Marie拉格尼茨
4 李建文
4 马吕斯·林道尔
4 卡洛斯·门西娅
4 罗伯特·纽文胡斯
4 托拜厄斯·菲利普
4 亚历山德罗·普雷维蒂
4 Pu,葛光
4 弗朗西斯科·里卡
4 彼得·施奈德·坎普
4 克里斯托夫·斯科尔
4 Aleksandr Anatol’evich塞梅诺夫
4 桑吉特·阿伦库马尔·塞希亚
4 侯赛因·M·希尼。
4 Laurent S.R.西蒙。
4 马丁·苏达
4 雷内·蒂曼
4 约翰·彼得·沃纳
4 克里斯托夫·韦登巴赫
3 托拜厄斯·阿切特伯格
3 马里奥·阿尔维亚诺
3 瓦莱里·巴拉巴诺夫
3 托马斯·巴利奥
3 杰里米亚斯·伯格
3 迈克尔·布里肯斯坦
3 罗伯特·布鲁迈耶
3 罗伯特·布鲁托梅索
3 Randal E.布莱恩特。
3 尤里·切比里亚克
3 科恩·克莱森
3 阿德南·达尔维切
…还有930多名作者
全部的 前5名

80篇连载文章中引用

43 人工智能
29 自动推理杂志
25 限制条件
20 可满足性、布尔建模与计算杂志
15 系统设计中的形式化方法
12 人工智能研究杂志
12 逻辑程序设计理论与实践
10 AI通信
10 数学与人工智能年鉴
9 计算机科学中的逻辑方法
7 理论计算机科学
7 运筹学年鉴
6 计算机基础理论
5 计算机程序设计科学
5 计算的形式方面
4 信息与计算
4 国际近似推理杂志
4 ACM计算逻辑事务
3 信息学报
3 离散数学
3 信息处理信件
3 逻辑与计算杂志
3 ACM实验算法杂志
3 计算机科学中的数学
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 机器学习研究杂志
1 4OR(或)
1 SibirskieÈlektronnye Matematicheskie Izvestiya公司
1 中国科学。F系列
1 计算机科学课堂讲稿
1 优化信函
1 《大学学报》。Informatica公司
1 密码学和通信
1 形式化推理杂志
1 科学中国。信息科学
1 计算机科学评论
1 ACM计算理论汇刊
1 电气工程课堂讲稿
1 乌拉尔数学杂志
1 计算机科学课文

按年份列出的引文