satisfiability problem - Türkisch Englisch Wörterbuch