TY  - RPRT
TI  - Focused Local Search for Random 3-Satisfiability
AU  - Sakari Seitz
AU  - Mikko Alava
AU  - Pekka Orponen
PY  - 2005
DO  - 10.1088/1742-5468/2005/06/p06006
UR  - https://arxiv.org/abs/cond-mat/0501707
ID  - cond-mat/0501707
ER  -