Refuting Smoothed 3CNF Formulas

Uriel Feige. Refuting Smoothed 3CNF Formulas. In 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings. pages 407-417, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.