1
Overview of message propagation algorithm for satisfiability problems
求解可满足性问题的信息传播算法研究综述
No. 7, 2022 : 1933-1940
doi:10.19734/j.issn.1001-3695.2021.10.0644