Nächste Seite: Neue Schranke für Van Aufwärts: SAT: Anwendungen Vorherige Seite: SAT-Kodierung: Färbung von Graphen
falls ein Problem zu groß für den Solver ist:
Def (allgemein): f ist Symmetrie von M, falls f (M)∼M.
Beispiel: rotationssymmetrische Aufstellungen von Figuren auf Schachbrett (Vertex Cover, Hamiltonkreis).