SAT Competition 2017 Main Track Benchmarks

From MaRDI portal


DOI10.5281/zenodo.11430453ZenodoMaRDI QIDQ6700838FDO


Authors Armin Biere

Publication date 2 June 2024

Copyright license Creative Commons Attribution 4.0 International


Description

These are the 350 CNF files in DIMACS format from the main track of the SAT competition 2017.











This page was built for dataset: SAT Competition 2017 Main Track Benchmarks

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