Distributed SAT Competition 2004 Industrial Track Benchmarks
收藏官方服务：
资源简介：
These are the 324 CNF files in DIMACS format from the industrial track of the SAT competition 2004 which were distributed after the competition.
提供机构：
Zenodo创建时间：
2024-06-11
