CSAT oder das Schaltungserfüllbarkeitsproblem ist ein Rechenproblem in der Informatik, das entscheidet, ob eine boolesche Schaltung bei einer gegebenen Menge von Eingaben eine Ausgabe von TRUE liefert.
Informatik, Elektronikbegriffe, Programmierbegriffe