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,


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.