These are the 100 CNF files in DIMACS format from the main track of the SAT race 2008.

NIAID Data Ecosystem50

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

Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances

子图同构求解

SAT求解器

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

Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Rec...

资源简介：

Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Rec...

资源简介：

相关数据集