论文信息 - Short Proofs are Narrow { Resolution made - 字舞流文

Short Proofs are Narrow { Resolution made

Avi Wigderson | A. Wigderson | SimpleEli Ben-Sasson | S. Ben-Sasson

[1] Samuel R. Buss,et al. Resolution and the Weak Pigeonhole Principle , 1997, CSL.