Organizing Committee

Organizers

• Marijn Heule (Carnegie Mellon University at Pittsburgh, USA)
• Markus Iser (University of Helsinki, Finland)
• Matti Jarvisalo (University of Helsinki, Finland)
• Martin Suda (Czech Technical University in Prague, Czech Republic)
• Tomáš Balyo (Filuta AI, Czech Republic)

Contact

• We are currently experiencing sporadic problems with our email-address organizers@satcompetition.org due to shared IP-addresses being black-listed by dynamic spam-filters. If you experience issues with emails bouncing off or if you just want to make sure to reach us, then please send your email directly to all the organizers mentioned above.

Thanks to

• Aaron Stump and StarExec
• Mike Whalen and Jonathan Eidelman at AWS
• Carsten Sinz for the logo
• Filuta for the medals