German Parallele Algorithmen für das Erfüllbarkeitsproblem Cited by user Cydhra on 23 Jan 2023 Das Erfüllbarkeitsproblem der Aussagenlogik (SAT, von englisch satisfiability) ist eines der grundlegendsten, schweren Probleme der Informatik.