Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm

2016·arXiv