Searching for "Short proofs are narrow - resolution made simple." – 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.

Short Proofs are Narrow - Resolution made Simple
by Eli Ben-sasson, Avi Wigderson — 2000 — Journal of the ACM
…Short Proofs are Narrow { Resolution made Simple Eli Ben-Sasson Avi Wigderson y November 8…
Cited by 137 (13 self) – Add To MetaCart

J. Hastad, A. Wigderson, Simple Analysis of Graph Tests, Conference on Computational Complexity
by Impagliazzo Kabanets Wigerson, Advisor Prof, R. J. Lipton — 2003
…, The Probabilistic Method, Proof Techniques in Complexity Theory. Thesis Supervision • Ph.D – Prabhakar Ragde, U…
Add To MetaCart

Showing 1 through 2.

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