Total space in resolution

Ilario Bonacina, Nicola Galesi, Neil Thapen. Total space in resolution. Electronic Colloquium on Computational Complexity (ECCC), 21:38, 2014. [doi]

Abstract

Abstract is missing.