Short Propositional Refutations for Dense Random 3CNF Formulas

Sebastian Muller, Iddo Tzameret

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

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

Cite this