9 citations · 9 across the 1 of their papers we have counts for
2 papers
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…
cs.DS2013★ 9 cited
Solving the minimum sum coloring problem via binary quadratic programming
Yang Wang, Jin-Kao Hao, Fred Glover +1
In recent years, binary quadratic programming (BQP) has been successively applied to solve several combinatorial optimization problems. We consider in this paper a study of using t…