title = {Easily refutable subformulas of large random 3CNF formulas.},
author = {Uriel Feige and Eran Ofek}, journal = {Theory of Computing}, number = {1}, pages = {25-43}, url = {http://dblp.uni-trier.de/db/journals/toc/toc3.html#FeigeO07}, volume = {3}, year = {2007}, description = {dblp}, ee = {http://www.theoryofcomputing.org/articles/main/v003/a002}, date = {2008-06-04},
keywords = {dblp }
::