Michele Zito. An Upper Bound on the Space Complexity of Random Formulae in Resolution. Electronic Colloquium on Computational Complexity (ECCC), (079), 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.