%0 Conference Paper %1 conf/hvc/LiangGZZC15 %A Liang, Jia Hui %A Ganesh, Vijay %A Zulkoski, Ed %A Zaman, Atulan %A Czarnecki, Krzysztof %B Haifa Verification Conference %D 2015 %E Piterman, Nir %I Springer %K %P 225-241 %T Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#LiangGZZC15 %V 9434 %@ 978-3-319-26286-4

@inproceedings{conf/hvc/LiangGZZC15, added-at = {2023-12-14T15:38:45.000+0100}, author = {Liang, Jia Hui and Ganesh, Vijay and Zulkoski, Ed and Zaman, Atulan and Czarnecki, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/26ba65dca853bb45f7a7a15b96087952e/admin}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2015}, editor = {Piterman, Nir}, ee = {https://doi.org/10.1007/978-3-319-26287-1_14}, interhash = {edc3b1933d1887432e08253d9732e653}, intrahash = {6ba65dca853bb45f7a7a15b96087952e}, isbn = {978-3-319-26286-4}, keywords = {}, pages = {225-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:38:45.000+0100}, title = {Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#LiangGZZC15}, volume = 9434, year = 2015 }