Frage zu Artikel "Das Erfüllbarkeitsproblem SAT"