Is P versus NP formally independent (2003)

by Lance Fortnow , Scott Aaronson
Venue:Bulletin of the European Association for Theoretical Computer Science
Citations:8 - 0 self