Davis-Putnam-Algorithmus

aus Wikipedia, der freien Enzyklopädie