Login / Signup

A game characterisation of tree-like Q-Resolution size.

Olaf BeyersdorffLeroy ChewKarteek Sreenivasaiah
Published in: J. Comput. Syst. Sci. (2019)
Keyphrases