Slide 1Simple Stochastic Games and Propositional Proof Systems Toniann Pitassi Joint work with Lei Huang University of Toronto Slide 2 Proof Complexity A propositional proof…