In diesem Projekt werden dynamische Methoden des Symmetriebrechens entwickelt, die in Rahmen der kombinatorischen mit SAT-solvern eingesetzt werden können. Das Ziel ist, damit kleinste (Gegen)beispiele für kombinatorische Vermutungen zu finden.
