2 ms·Homepage of a computer scientist who devoted over 20 years into whether P=NP4 points by amwolff 6y ago