7 citations · 13 across the 6 of their papers we have counts for
1 paper · 2 filters
Jia Hui Liang, Vijay Ganesh, Ed Zulkoski +2
Conflict-Driven Clause-Learning SAT solvers crucially depend on the Variable State Independent Decaying Sum (VSIDS) branching heuristic for their performance. Although VSIDS was pr…