Benchmarks used for the SAT 2005 Competition with raw results
收藏数据链接：
官方服务：
资源简介：
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
提供机构：
SIMON Laurent创建时间：
2022-05-08
