1
Belief propagation algorithm for solving multi literal satisfiability problem
求解多文字可满足SAT问题的置信传播算法
No. 9, 2021 : 2710-2715
doi:10.19734/j.issn.1001-3695.2021.01.0012