NP vs Co-NP Posted by Graeme on 13 May 2006, 8:19 pm Notes from a talk on complexity theory and logic.