Frage zu Artikel "The Satisfiability Problem"