Endorsed by
SIGACT

Articles by Feige, Uriel

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