Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm. - Te-Hsuan Chen; Ju-Yi Lu (CoRR, 2016)