Sebastian Müller, Iddo Tzameret. Short Propositional Refutations for Dense Random 3CNF Formulas. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012. pages 501-510, IEEE, 2012. [doi]
Abstract is missing.