Uriel Feige, Jeong Han Kim, Eran Ofek. Witnesses for non-satisfiability of dense random 3CNF formulas. In 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 21-24 October 2006, Berkeley, California, USA, Proceedings. pages 497-508, IEEE Computer Society, 2006. [doi]
Abstract is missing.