SAT Challenge 2012 Application Track Benchmarks

From MaRDI portal
(Redirected from Dataset:6700842)


DOI10.5281/zenodo.11527868ZenodoMaRDI QIDQ6700842FDO


Authors Armin Biere

Publication date 8 June 2024

Copyright license Creative Commons Attribution 4.0 International


Description

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=SAT_Challenge_2012_Application_Track_Benchmarks&oldid=54645788"
Powered by MediaWiki