Novel preprocessing clause elimination methods for propositional SAT solvers
Online:2020-08-31
Published:2020-08-31
Supported by:
Project supported by the National Natural Science Foundation,China(No.61673320,71801175),the Fundamental Research Funds for the Central Universities of Southwest Minzu University,China(No.2020NQN40),the Fundamental Research Funds for the Central Universities,China(No.2682018ZT10,2042018kf0006),and the Research Grants Council the Hong Kong Special Administrative Region,China(No.T32-101/15-R).