×

超小卫星

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
全部的 前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 计算机科学教材

按年份引用出版物