AC-3 (Algorithmus)

aus Wikipedia, der freien Enzyklopädie