%0 Conference Paper %1 conf/sat/LiangKPCG17 %A Liang, Jia Hui %A K., Hari Govind V. %A Poupart, Pascal %A Czarnecki, Krzysztof %A Ganesh, Vijay %B SAT %D 2017 %E Gaspers, Serge %E Walsh, Toby %I Springer %K dblp %P 119-135 %T An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. %U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#LiangKPCG17 %V 10491 %@ 978-3-319-66263-3

@inproceedings{conf/sat/LiangKPCG17, added-at = {2024-06-27T00:00:00.000+0200}, author = {Liang, Jia Hui and K., Hari Govind V. and Poupart, Pascal and Czarnecki, Krzysztof and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/24c7f71c84f342fb25510842f9f1741fd/dblp}, booktitle = {SAT}, crossref = {conf/sat/2017}, editor = {Gaspers, Serge and Walsh, Toby}, ee = {https://doi.org/10.1007/978-3-319-66263-3_8}, interhash = {90831d90a4401895df14c4114fef3c34}, intrahash = {4c7f71c84f342fb25510842f9f1741fd}, isbn = {978-3-319-66263-3}, keywords = {dblp}, pages = {119-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-01T07:15:53.000+0200}, title = {An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#LiangKPCG17}, volume = 10491, year = 2017 }