BibTeX record conf/hvc/LiangGZZC15

• > Home > conf/hvc/LiangGZZC15

@inproceedings{DBLP:conf/hvc/LiangGZZC15,
  author       = {Jia Hui Liang and
                  Vijay Ganesh and
                  Ed Zulkoski and
                  Atulan Zaman and
                  Krzysztof Czarnecki},
  editor       = {Nir Piterman},
  title        = {Understanding {VSIDS} Branching Heuristics in Conflict-Driven Clause-Learning
                  {SAT} Solvers},
  booktitle    = {Hardware and Software: Verification and Testing - 11th International
                  Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
                  17-19, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9434},
  pages        = {225--241},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26287-1\_14},
  doi          = {10.1007/978-3-319-26287-1\_14},
  timestamp    = {Fri, 30 Dec 2022 23:08:54 +0100},
  biburl       = {https://dblp.org/rec/conf/hvc/LiangGZZC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}