@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}, }