The Backtracking Survey Propagation Algorithm for Solving Random K-SAT Problems.

Raffaele Marino Giorgio Parisi Federico Ricci-Tersenghi

Published in: CoRR (2015)

Keyphrases

randomly generated
learning algorithm
dynamic programming
search space
computational complexity
satisfiability problem
objective function
evolutionary algorithm
special case
np hard
linear programming
orders of magnitude
search strategy
backtracking search