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