Survey propagation: An algorithm for satisfiability — latest news, discussion & facts — IJR