Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios

Fabrizio Altarelli Rémi Monasson Francesco Zamponi Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios http://arxiv.org/abs/cs/0609101 2006 CoRR abs/cs/0609101 db/journals/corr/corr0609.html#abs-cs-0609101 informal publication