Competitions and System Evaluations

The following competitions and system evaluations are affiliated with SAT 2013.

• SAT Competition 2013
  Organizers: Adrian Balint, Anton Belov, Marijn Heule, Matti Järvisalo
  
  
• Configurable SAT Solver Challenge 2013,
  Organizers: Frank Hutter, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown
  
  
• Max-SAT Evaluation 2013
  Organizers: Josep Argelich, Chu Min Li, Felip Manya, Jordi Planes
  
  
• SMT-EVAL 2013
  Organizers: David Cok, Aaron Stump, Tjark Weber
  
  
• QBF Gallery 2013
  Organizers: Florian Lonsing, Martina Seidl, Allen Van Gelder