官方服务：
资源简介：
Data set for minisat
应用场景：
创建时间：
2020-02-15
相关数据集
SAT Race 2008 Benchmarks
These are the 100 CNF files in DIMACS format from the main track of the SAT race 2008.
NIAID Data Ecosystem50
Comparative results of AspiPT, Ptwqcc, AspiSAT and Swqcc on random 5-SAT instances and random 7-SAT instances.
Comparative results of AspiPT, Ptwqcc, AspiSAT and Swqcc on random 5-SAT instances and random 7-SAT instances.
NIAID Data Ecosystem40
Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver. See README for details. Also included in re
Zenodo2021-08-04 更新20
SAT Race 2006 Benchmarks
These are the 100 CNF files in DIMACS format from the main track of the SAT race 2006.
NIAID Data Ecosystem40
Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
These are the experimental data for the paper > Bach, Jakob, Markus Iser, and Klemens Böhm. "A Comprehensive Study of k-Portfolios of Recent SAT Solvers" accepted at the conference [*SAT 2022*](htt
DataCite Commons2022-05-30 更新30
