Skip to main navigation Skip to search Skip to main content

Short Propositional Refutations for Dense Random 3CNF Formulas

  • Sebastian Muller
  • , Iddo Tzameret

Research output: Chapter in Book/Report/Conference proceeding › Conference 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