SAT Competition 2016
Overview
General Rules
Competition Tracks
→Submission
→Unsat Certificates
→Glucose Hack Subtrack
→Incremental Library Track
Benchmarks
Organizers
Related Events
Solvers
Results
Downloads
SAT Competition 2016
Organizing Committee
Organizers
Marijn Heule
(The University of Texas at Austin, USA)
Matti Jarvisalo
(University of Helsinki, Finland)
Tomas Balyo
(Karlsruhe Institute of Technology, Germany)
Contact
email: organizers@satcompetition.org