dpll algorithm - Türkisch Englisch Wörterbuch