3SAT Problem

Das 3SAT Problem

3SAT Probleme sind Probleme, die eine logische Formel auf konjunktiver Normalform mit Klauseln aus höchstens 3 verschiedenen Literalen auf ihre Erfüllbarkeit hin untersuchen.