no code implementations • 11 Dec 2021 • Mao Luo, Chu-min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio.
no code implementations • 29 Jul 2018 • Chu-min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals.