Based on the Factor Graph for Solving Satisfiability Problem of (3,4=)-CNF Formula Class
NIE Guoxia
QIN Yongbin
XU Daoyun
Machine-generated Keywords：
Publication Date：2013-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：4( 686-689 )