TY  - RPRT
TI  - Short Propositional Refutations for Dense Random 3CNF Formulas
AU  - Sebastian Müller
AU  - Iddo Tzameret
PY  - 2011
UR  - https://arxiv.org/abs/1101.3970
ID  - 1101.3970
ER  -