http://theoryofcomputing.org ISSN 1557-2862
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