Distributed SAT Competition 2005 Industrial Track Benchmarks
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/11574545
下载链接
链接失效反馈官方服务：
资源简介：
These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitters. See also https://zenodo.org/records/6528885
创建时间：
2024-06-11
