@article{v003a002,
 author = {Feige, Uriel and Ofek, Eran},
 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 = {2},
 URL = {https://theoryofcomputing.org/articles/v003a002},
}