Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm.

Te-Hsuan Chen Ju-Yi Lu

Published in: CoRR (2016)

Keyphrases

belief propagation
learning algorithm
objective function
computational complexity
graphical models
loopy belief propagation
randomly generated
optimal solution
np hard
dynamic programming
energy function
stereo matching
max product
message passing
knapsack problem
linear programming
simulated annealing