Mean-payoff games and propositional proofs (0)

by A Atserias, E Maneva
Venue:Inform. and Comput