A Heuristic Algorithm for Solving the Satisfiability Problem Based on the Key Literal
Qin Yongbin
Zhang Qiuju
Machine-generated Keywords：
Publication Date：2010-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：4( 1-4 )