4 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Jingchao Chen
The decision variable selection policy used by the most competitive CDCL (Conflict-Driven Clause Learning) SAT solvers is either VSIDS (Variable State Independent Decaying Sum) or…