9 citations · 18 across the 6 of their papers we have counts for
1 paper · 1 filter
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…