Search Result

In accordance with regulations and requirements, the editorial department's website domain has been changed to arocmag.cn. The original domain (arocmag.com) has been redirecting to new domain since Jan. 1st, 2025.

SearchWalkSATreturned 1 results

Belief propagation algorithm for solving multi literal satisfiability problem

求解多文字可满足SAT问题的置信传播算法

Lu Lei

Wang Xiaofeng

Niu Pengfei

Liu Zilin

multi literal satisfiability

belief propagation algorithm

WalkSAT

satisfiability problem

No. 9, 2021 : 2710-2715 doi:10.19734/j.issn.1001-3695.2021.01.0012

Search WalkSAT

Search Result

SearchWalkSATreturned 1 results

Belief propagation algorithm for solving multi literal satisfiability problem