Distributed SAT Competition 2003 Industrial Track Benchmarks
From MaRDI portal
(Redirected from Dataset:6700851)
These are the 100 CNF files in DIMACS format from the industrial track of the SAT competition 2003 which were distributed after the competition.
This page was built for dataset: Distributed SAT Competition 2003 Industrial Track Benchmarks
