Wettbewerbe für Constraint-Solver

• für aussagenlogische Formeln:

  http://www.satcompetition.org/

  (SAT = mathend000# satisfiability)

• für prädikatenlogische Formeln

  http://smtcomp.sourceforge.net/

  (SMT = mathend000# satisfiability modulo theories)

  Theorien: $\mathbb {Z}$ mathend000# mit ≤ mathend000#, Plus, Mal; $\mathbb {R}$ mathend000# mit ≤ mathend000#, Plus; ...

• Termination und Komplexität

  http://www.termination-portal.org/wiki/Termination_Competition