Seol mar théacs é seo: The golden ticket : P, NP, and the search for the impossible / Lance Fortnow.