×

SATLIB公司

swMATH ID: 2107
软件作者： 霍尔格·胡斯。；托马斯·苏泽尔
说明： SATLIB是我们用于自己SAT相关研究的基准问题、解决方案和工具的集合。创建SATLIB的一个强烈动机是为SAT求解者提供一个统一的测试平台，以及一个收集SAT问题实例、算法和算法性能经验特征的网站。
主页： 网址：http://www.satlib.org/
关键词： SATLIB公司;SAT算法
相关软件： 糠;TPTP公司;徒步旅行;超小卫星;SATO公司;SMT-LIB公司;Velev SAT基准;SatEx公司;倾斜倾斜;CUDD公司;DIMACS公司;zChaff公司;三峡工程;伯克明州;单位步行;JCell公司;MersenneTwister公司;水獭;国际数字电视;马拉雷亚
引用于： 56文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
SATLIB：SAT研究的在线资源。 Zbl 0979.68128号
霍尔格·H·胡斯。;托马斯·苏泽尔
2000
全部的 前5名

122位作者引用

三 卡拉·P·戈麦斯。
2 阿奈、平子
2 Noriko H.Arai。
2 迈克尔·布里肯斯坦
2 比斯特拉·迪尔基纳
2 亚历山大·德雷耶
2 藤崎隆彦
2 马特奥·加格利奥洛
2 霍尔格·H·胡斯。
2 伊瓦内、希德诺
2 Munehiro小林
2 朱玛·库多
2 哈维尔·拉罗萨
2 松崎隆彦
2 罗伯特·纽文胡斯
2 阿尔伯特·奥利弗拉斯
2 佩德罗·夸雷斯马
2 恩里克·罗德里格斯-卡博内尔
2 阿什什·萨巴沃尔
2 约翰·施密杜贝尔
2 苏，武藏
2 杰夫·萨特克利夫
2 詹益阳
2 张伟雄
1 埃亚尔·埃米尔
1 哈桑·阿姆贾德
1 安徒生、亨利克·雷夫
1 米盖尔·安霍斯（Miguel F.Anjos）。
1 阿拉瓦尼斯·提奥凡尼斯一世。
1 穆苏诺里·班巴拉
1 本杰明·巴兰
1 马库斯·贝勒
1 拉蒙·贝加尔
1 鲁道夫·伯哈默
1 兹德拉夫科·博特夫一世。
1 达利拉Boughaci
1 弗朗西·布尔格勒
1 菲利普·查塔利克
1 拉霍斯，塞克
1 Alessandro丹尼尔
1 阿德南·达尔维切
1 吕克·德·雷德
1 多姆什拉克，卡梅尔
1 哈比巴·德里亚斯
1 艾米·费尔蒂（Amy P.Felty）。
1 塞萨尔·费尔南德斯。
1 尼古拉斯·福尼尔。
1 弗雷德·格洛弗（Fred W.Glover）。
1 安娜·戈本科
1 格特·马丁·格雷尔
1 爱德华·赫希。
1 黄金波
1 亨利克·胡尔加德
1 伊姆森，弗兰克
1 井上，Katsumi
1 贾尼契奇，普雷德拉格
1 焦立成
1 金小龙
1 伯纳德·尤尔科维亚克
1 弗雷德里克·卡尔
1 阿里斯特·科耶夫尼科夫
1 塞缪尔·科尔布
1 奥列娜·克拉夫丘克
1 克里斯托夫·克里茨
1 巴斯卡尔·克里希纳马查里
1 德克·克劳斯（Dirk P.Kroese）。
1 莫希特·库马尔
1 加博尔·库斯珀
1 凯里里迪斯、阿纳斯塔西奥斯
1 李楚敏
1 李晓宇
1 李阳阳
1 刘继明
1 阿恩·勒克坦根
1 米兰，乌尔夫
1 阿尔贝托·莫米利亚诺
1 延斯·奥滕
1 碧姬·品特卡
1 弗拉基米尔·尤尔埃维奇·波波夫
1 Dhiraj K.普拉丹。
1 韦恩·普兰
1 托马斯·拉斯
1 尼古拉斯五世·萨希尼迪斯。
1 吉藤佐香
1 阿卜杜勒·萨塔尔
1 巴特·塞尔曼
1 卢西亚诺·塞拉菲尼
1 沈海鸥
1 安舒马利·施里瓦斯塔瓦
1 Laurent S.R.西蒙。
1 斯蒂芬·史密斯。
1 斯蒂芬·史密斯。
1 马蒂亚斯·斯托尔曼。
1 彼得·斯特兰德马克
1 马修·斯特里特。
1 托马斯·G·Stützle。
1 萨蒂亚穆尔西·苏巴拉扬
1 铃木田村
1 莫希特·塔瓦马拉尼
1 斯特凡诺·特索
…还有22位作者
全部的 前5名

24篇连载文章中引用

5 自动推理杂志
4 人工智能
4 数学与人工智能年鉴
2 离散应用数学
1 纯粹与应用代数杂志
1 编程和计算机软件
1 符号计算杂志
1 算法学
1 计算机与运筹学
1 AI通信
1 机器学习
1 逻辑与计算杂志
1 MSCS公司。计算机科学中的数学结构
1 全球优化杂志
1 人工智能研究杂志
1 启发式杂志
1 组合优化期刊
1 ACM实验算法杂志
1 应用逻辑杂志
1 系统工程与电子
1 可满足性、布尔建模与计算杂志
1 应用数学科学（俄语）
1 统计与计算
1 多智能体系统、人工社会和模拟组织
全部的 前5名

13个领域引用

49 计算机科学（68至XX）
12 运筹学、数学规划（90-XX）
6 数学逻辑和基础（03-XX）
三 有序，格，有序代数结构（06-XX）
三 交换代数（13-XX）
2 统计学（62-XX）
2 信息与通信理论、电路（94-XX）
1 总体主题；集合（00-XX）
1 几何图形（51至XX）
1 概率论与随机过程（60-XX）
1 数值分析（65-XX）
1 量子理论（81-XX）
1 数学教育（97-XX）

按年份列出的引文