Login / Signup

A Conditional Superpolynomial Lower Bound for Extended Resolution.

Olga Tveretina
Published in: LATA (2013)
Keyphrases