Organizing Committee

Organizers

• Marijn Heule (Carnegie Mellon University at Pittsburgh, USA)
• Markus Iser (Karlsruhe Institute of Technology, Germany)
• Matti Jarvisalo (University of Helsinki, Finland)
• Martin Suda (Czech Technical University in Prague, Czech Republic)

Contact

• organizers@satcompetition.org

Thanks to

• Aaron Stump and StarExec
• Mike Whalen and Jonathan Eidelman at AWS
• Carsten Sinz for the logo
• Tomáš Balyo and Filuta AI for the medals