Relating two width measures for resolution proofs

Andreas Krebs, Meena Mahajan, Anil Shukla. Relating two width measures for resolution proofs. Electronic Colloquium on Computational Complexity (ECCC), 23:164, 2016. [doi]

Abstract

Abstract is missing.