Anderson, Daniel, Gregor Hendel, Pierre Le Bodic, and Merlin Viernickel. 2019. “Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation”. Proceedings of the AAAI Conference on Artificial Intelligence 33 (01):1427-34. https://doi.org/10.1609/aaai.v33i01.33011427.