German Erfüllbarkeitsproblem der Aussagenlogik Cited by user Mbssdr on 09 Nov 2020 Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von ‚ Erfüllbarkeit‘) ist ein Entscheidungsproblem der theoretischen Informatik.