@article{v003a002,
 author = {Uriel Feige and Eran Ofek},
 title = {Easily refutable subformulas of large random 3CNF formulas},
 year = {2007},
 pages = {25-43},
 doi = {10.4086/toc.2007.v003a002},
 publisher = {Theory of Computing},
 journal = {Theory of Computing},
 volume = {3},
 number = {1},
 URL = {http://www.theoryofcomputing.org/articles/v003a002},
}