SAT Race 2019

Organizing Committee

Organizers

Marijn Heule (The University of Texas at Austin, USA)
Matti Järvisalo (University of Helsinki, Finland)
Martin Suda (Czech Technical University in Prague, Czech Republic)

Contact

email: organizers@satcompetition.org