Endorsed by
ACM SIGACT

Articles by Uriel Feige

Volume 3, Article 2 (pages 25-43)
Easily refutable subformulas of large random 3CNF formulas
by Uriel Feige and Eran Ofek