TY  - RPRT
TI  - Restart method and exponential acceleration of random 3-SAT instances resolutions: a large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm
AU  - S. Cocco
AU  - R. Monasson
PY  - 2002
UR  - https://arxiv.org/abs/cond-mat/0206242
ID  - cond-mat/0206242
ER  -