SAT

Satisfiability Problem

Definition

Erfüllbarkeitsproblem. SAT ist ein fundamentales Problem der theoretischen Informatik, bei dem geprüft wird, ob eine aussagenlogische Formel erfüllbar ist.

Ähnliche Abkürzungen

COMSATCommunications Satellite Corporation DASATDatenübertragung via Satellit EOSATEarth Observation Satellite INMARSATInternational Maritime Satellite Organization INTELSATInternational Telecommunications Satellite Organization