TY  - RPRT
TI  - Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios
AU  - Fabrizio Altarelli
AU  - Remi Monasson
AU  - Francesco Zamponi
PY  - 2006
DO  - 10.1088/1751-8113/40/5/001
UR  - https://arxiv.org/abs/cs/0609101
ID  - cs/0609101
ER  -