Organizing Committee

Organizers

• Cayden Codel (Carnegie Mellon University at Pittsburgh, USA)
• Katalin Fazekas (Technical University of Vienna, Austria)
• Marijn Heule (Carnegie Mellon University at Pittsburgh, USA)
• Ashlin Iser (Karlsruhe Institute of Technology, Germany)

Contact

• organizers@satcompetition.org

Thanks to

• Dirk Beyer and Philipp Wendler for their great support at BenchCloud
• Robert Jones and Benjamin Jones at AWS
• Carsten Sinz for the logo
• Tomáš Balyo and Filuta AI for the medals