SAT Race 2015 Benchmarks

Name: SAT Race 2015 Benchmarks
Creator: Albert-Ludwigs-Universität Freiburg
Published: 2024-06-02T00:00:00+08:00

Zenodo2024-06-02 更新2026-04-07 收录

数据链接：

官方服务：

资源简介：

These are the 300 CNF files in DIMACS format from the main track of the SAT race 2015.

提供机构：

创建时间：

2024-06-02