## Sebastian Müller, Iddo Tzameret

*Short Propositional Refutations for Dense Random 3CNF Formulas*

LICS, 2012.

@inproceedings{LICS-2012-MullerT, author = "Sebastian Müller and Iddo Tzameret", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.60", isbn = "978-1-4673-2263-8", pages = "501--510", publisher = "{IEEE Computer Society}", title = "{Short Propositional Refutations for Dense Random 3CNF Formulas}", year = 2012, }