TY  - RPRT
TI  - Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
AU  - Jia Hui Liang
AU  - Vijay Ganesh
AU  - Ed Zulkoski
AU  - Atulan Zaman
AU  - Krzysztof Czarnecki
PY  - 2015
UR  - https://arxiv.org/abs/1506.08905
ID  - 1506.08905
ER  -