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