Searching for "Space Complexity of Random Formulae in Resolution." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Space Complexity of Random Formulae in Resolution
by Eli Ben-sasson, Nicola Galesi — 2001 — In 16th IEEE Conference on Computational Complexity
…Space Complexity of Random Formulae in Resolution Eli Ben-Sasson Institute of Computer Science…
Cited by 18 (3 self) – Add To MetaCart

An upper bound on the space complexity of random formulae in resolution
by M. Zito — 2002 — In RAIRO - Theoretical Informatics and Applications
…An Upper Bound on the Space Complexity of Random Formulae in Resolution M. Zito Department…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB