Is P Versus NP Formally Independent (2003)

by S Aaronson
Venue:Bulletin of the EATCS