The backtracking survey propagation algorithm for solving random K-SAT problems
2014 ◽
Vol 35
(11)
◽
pp. 2778-2783
Keyword(s):
Keyword(s):
Keyword(s):