Total Space in Resolution

Ilario Bonacina, Nicola Galesi, Neil Thapen. Total Space in Resolution. SIAM Journal on Computing, 45(5):1894-1909, 2016. [doi]

Abstract

Abstract is missing.