Report - Sporadic Propositional Proofs Søren Riis Queen mary, University of London New Directions in Proof Complexity 11 th of April 2006 at the Newton Instutute.

Please pass captcha verification before submit form