We show that the backtracking survey propagation algorithm, in a time practically linear in ... that case the algorithm returns a failure). The complexity and the biases are updated according ...