Organizing Committee

Organizers

Marijn Heule (Carnegie Mellon University at Pittsburgh, USA)
Matti Jarvisalo (University of Helsinki, Finland)
Martin Suda (Czech Technical University in Prague, Czech Republic)
Markus Iser (Karlsruhe Institute of Technology, Germany)
Tomáš Balyo (CAS Software Karlsruhe, Germany)
Nils Froleyks (Johannes Kepler University, Linz)

Contact

email: organizers@satcompetition.org