TY  - RPRT
TI  - Faster Randomized Branching Algorithms for $r$-SAT
AU  - R. Krithika
AU  - N. S. Narayanaswamy
PY  - 2016
UR  - https://arxiv.org/abs/1511.02591
ID  - 1511.02591
ER  -