SATLIB基准套件 swMATH ID: 11916 软件作者： Holger H Hoos；托马斯·施图策尔 描述： SATLIB Benchmark Suite包含三种不同类型的问题：从随机实例分布中采样的测试集，例如统一的random-3-SAT；通过对SAT编码组合问题（如图着色）的随机实例分布进行实例编码而获得的测试集；以及来自不同域的单个SAT编码实例。对于SAT的系统搜索算法和本地搜索算法来说，基准测试套件中的大多数实例都很难实现。对于SAT编码的问题，实例的硬度通常是固有的，而不仅仅是由用于将其转换为SAT的编码方案引起的。 主页： 网址：http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html 相关软件： CMU基准;SMT-LIB语言;佩里普洛;github;FOCI公司;斯克普提克;AMUSE公司;MUP公司;开放式SMT;故障电流互感器++;灯光;赛车手;弹丸;SATO公司;Velev SAT基准;伯克明州;糠 引用于： 3文件 更多出版物： 网址：http://www.cs.ubc.ca/~hoos/SATLIB/biblio.html 全部的 前5名8位作者引用 1 罗伯特·布鲁托梅索 1 尤金·戈德伯格。 1 沃尔克·哈尔斯列夫 1 雅科夫·诺维科夫 1 西蒙·富尔维奥·罗里尼 1 娜塔莎·莎莉吉娜 1 阿里亚克西·齐托维奇 1 左，明 2篇连载文章中引用 1 离散应用数学 1 系统设计中的形式化方法 在2个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文