Short Propositional Refutations for Dense Random 3CNF Formulas. / Muller, Sebastian; Tzameret, Iddo.

Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 25-28 June 2012. 2012. p. 501-510.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationProceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Subtitle of host publication25-28 June 2012
Pages501-510
Number of pages10
Publication statusPublished - Jun 2012

ID: 23655475