no code implementations • 26 Oct 2023 • Qun Zhao, Xintao Wang, Menghui Yang
This study presents a novel heuristic algorithm called the "Minimal Positive Negative Product Strategy" to guide the CDCL algorithm in solving the Boolean satisfiability problem.