TY  - RPRT
TI  - A novel local search based on variable-focusing for random K-SAT
AU  - Rémi Lemoy
AU  - Mikko Alava
AU  - Erik Aurell
PY  - 2013
UR  - https://arxiv.org/abs/1311.2914
ID  - 1311.2914
ER  -