SAT Competition 2007 Industrial Track Benchmarks
收藏官方服务：
资源简介：
These are the 234 CNF files in DIMACS format from the industrial track of the SAT competition 2007.
本数据集包含234个采用DIMACS格式的合取范式（Conjunctive Normal Form，CNF）文件，均源自2007年SAT竞赛的工业赛道。
提供机构：
Zenodo创建时间：
2024-06-11
