TY  - RPRT
TI  - A backtracking survey propagation algorithm for K-satisfiability
AU  - Giorgio Parisi
PY  - 2003
UR  - https://arxiv.org/abs/cond-mat/0308510
ID  - cond-mat/0308510
ER  -