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