Autor:

Mohammed Esad-Djou bss98aou@studserv.uni-leipzig.de

Das Modul SATProblem ist ein Kontrolleurmodul, welches des 3SATProblem behandelt. SAT (bzw. 3SAT) ist Gesamtheit aller erfüllbare aussagenlogischer Formel F in konjunktiver Normalform (mit genau 3 Konjunktionsgleidern)