摘要
1 Introduction The propositional satisfiability(SAT)problem is an important and prototypical NP-hard problem in theoretical computer science[1].Many efforts have been made for designing high-performance SAT solvers.The existing practical techniques for solving SAT problems are mainly divided into two categories:complete search technique and stochastic local search technique.
基金
This work was supported by the National Natural Science Foundation of China(Grant Nos.61762019 and 61862051),the Young Science and Technology Talent Growth Fund Project of Education Department of Guizhou Province(Qian Jiao He KY Zi[2017J343),the Science and Technology Foundation of Guizhou Province([2019]1299),the Top-notch Talent Program of Guizhou province(KY[2018]080),the Industrial Technology Foundation of Qiannan State(Qiannan Ke He Gong Zi(2017)16 Hao,[2017]10),the General program of Qiannan Normal University for Nationalities(qnsy2018016 and QNSYRC201715).
