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