SAT-Race 2015
Overview
Rules & Instructions
Organizers
Solvers
Results
Downloads
Related Events
SAT-Race 2015
Organizing Committee
Chair
Tomas Balyo
(Karlsruhe Institute of Technology, Germany)
Members
Carsten Sinz
(Karlsruhe Institute of Technology, Germany)
Markus Iser
(Karlsruhe Institute of Technology, Germany)
Incremental Library Track Co-Organizer
Armin Biere
(Johannes Kepler University in Linz, Austria)
Contact
email: satrace2015@googlegroups.com