Juan Luis Esteban, Jacobo Torán. A Combinatorial Characterization of Treelike Resolution Space. Electronic Colloquium on Computational Complexity (ECCC), (044), 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.