@misc{indiciae96cf5be8fc28,
  title = {Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers},
  author = {Jia Hui Liang and Vijay Ganesh and Ed Zulkoski and Atulan Zaman and Krzysztof Czarnecki},
  year = {2015},
  url = {https://arxiv.org/abs/1506.08905},
  note = {Source identifier: 1506.08905}
}