Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
Branching Strategy Selection Approach Based on Vivification Ratio
Mao Luo, Chu-Min Li, Xinyun Wu +2
The two most effective branching strategies LRB and VSIDS perform differently on different types of instances. Generally, LRB is more effective on crafted instances, while VSIDS is…
cs.AI2018
Clause Vivification by Unit Propagation in CDCL SAT Solvers
Chu-Min Li, Fan Xiao, Mao Luo +3
Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SAT solvers often contain redundant literals. This may have a negative impact on performance because redundant…