Mean-Payoff Games and Propositional Proofs

DOI10.1007/978-3-642-14165-2_10zbMath1287.03101OpenAlexW2164528091MaRDI QIDQ3587372

Elitza Maneva, Albert Atserias

Publication date: 7 September 2010

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.215.2527

Mathematics Subject Classification ID

Games involving graphs (91A43) Complexity of proofs (03F20)

Related Items (3)

Automatizability and Simple Stochastic Games ⋮ Max-Closed Semilinear Constraint Satisfaction ⋮ Mean-payoff games and propositional proofs

This page was built for publication: Mean-Payoff Games and Propositional Proofs