Schnellere Symmetrie‑Breaking‑Bedingungen für abstrakte Strukturen
In der Constraint‑Programmierung formulieren Modellierer ihre Probleme in hoch‑abstrakten Sprachen wie Essence. Dabei entstehen oft abstrakte Strukturen – etwa verschachtelte Mengen – die von den Solver‑Engines nicht direkt unterstützt werden und deshalb in andere Darstellungen, z. B. Matrizen, überführt werden müssen.
