Satisfiability of (3,4)-CNF Formula Based on Dividing of Graph
ZHANG Haiyue
QIN Yongbin
NIE Guoxia
Keywords：(34)-CNF formulafactor graph4)-biregular bigraphsatisfiability problem
Publication Date：2015-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 766-770,891 )