Endorsed by
ACM SIGACT

Articles by Eran Ofek

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