SAT Competition 2013
affiliated with the
SAT 2013
conference, July 8-12 in Helsinki, Finland
jointly organized by
Ulm University
,
University of Helsinki
,
University College Dublin
,
University of Texas at Austin
,
Credits
The header image includes the graphical representation of three SAT instances used in SAT Challenge 2012, one from each of the categories Application, Hard-combinatorial and Random. The images were generated with
GraphInsight
.
HOME
Results
Important dates
Submission
Competition Tracks
Certified UNSAT
Rules
Execution Environment
Call for Benchmarks
Organization
Contact information
Downloads
Proceedings
Sponsors
Credits