TY  - RPRT
TI  - Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem
AU  - Iddo Tzameret
PY  - 2014
UR  - https://arxiv.org/abs/1305.0948
ID  - 1305.0948
ER  -