Spektrum.de P-NP-Problem: Hat ein Bonner Professor das größte Rätsel der Informatik gelöst? 15. Aug. 2017