Suche nach symmetrischen Lösungen

falls ein Problem zu groß für den Solver ist:

• weitere Constraints hinzufügen ...
• die effektiv die Anzahl der Variablen verkleinern.
• d. h.: nur nach symmetrischen Lösungen suchen.

Def (allgemein): f ist Symmetrie von M, falls f (M) $\sim$ M.

Beispiel: rotationssymmetrische Aufstellungen von Figuren auf Schachbrett (Vertex Cover, Hamiltonkreis).