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
,
Sponsors
HOME
Results
Important dates
Submission
Competition Tracks
Certified UNSAT
Rules
Execution Environment
Call for Benchmarks
Organization
Contact information
Downloads
Proceedings
Sponsors
Credits