SAT Challenge 2012 Application Track Benchmarks
From MaRDI portal
These are the 600 CNF files in DIMACS format from the application track of the SAT challenge 2012.
This page was built for dataset: SAT Challenge 2012 Application Track Benchmarks
