SAT Competition 2014 Application Track Benchmarks

DOI10.5281/zenodo.11527600ZenodoMaRDI QIDQ6700840FDO

Authors Armin Biere

Publication date 8 June 2024

Copyright license Creative Commons Attribution 4.0 International

Description

These are the 300 CNF files in DIMACS format from the application track of the SAT competition 2014.

This page was built for dataset: SAT Competition 2014 Application Track Benchmarks