Warum moderne Computer exponentiell explodierende NP-vollständige Probleme in Sekunden lösen: SAT-Solver, CDCL und Phasenübergänge
