TY  - RPRT
TI  - Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm
AU  - Te-Hsuan Chen
AU  - Ju-Yi Lu
PY  - 2016
UR  - https://arxiv.org/abs/1603.05314
ID  - 1603.05314
ER  -