4 ms·The Backtracking Survey Propagation Algorithm for Solving Random K-SAT Problems3 points by altro 11y ago