1 results
An Upper Bound on the Space Complexity of Random Formulae in Resolution
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 4 / October 2002
- Published online by Cambridge University Press:
- 15 February 2003, pp. 329-339
- Print publication:
- October 2002
-
- Article
- Export citation