Skip to content

A Conditional Superpolynomial Lower Bound for Extended Resolution.

Olga Tveretina

VenueCLATA
Year2013
ProceedingsLATA

Browse the full LATA paper archive.