Eine Kritik an Du's "Ein Polynomialzeit-Algorithmus für 3-SAT" | Synapse