Links for p-vs-np