Benchmarks used for the SAT 2005 Competition with raw results
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/6528884
下载链接
链接失效反馈官方服务：
资源简介：
Set of benchmarjs used for the SAT 2005 competitions.
Some benchmarks are not included because they were only distributed via their author's web site (IBM and Miroslav Velev problems).
This set is the set that was distributed after the contest.
Note that the benchmarks are distributed as shuffled problems.
The competition was organised by the LRI (Orsay, France) and the CRIL (Lens, France) with the help of the university of Cincinnati and Intel. Organizers were Daniel Leberre, Olivier Roussel and Laurent Simon
创建时间：
2022-05-09
