| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Subtitle of host publication | 25-28 June 2012 |
| Pages | 501-510 |
| Number of pages | 10 |
| Publication status | Published - Jun 2012 |
Short Propositional Refutations for Dense Random 3CNF Formulas
Sebastian Muller, Iddo Tzameret
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution