Anderson, D., Hendel, G., Le Bodic, P. and Viernickel, M. 2019. Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation. Proceedings of the AAAI Conference on Artificial Intelligence. 33, 01 (Jul. 2019), 1427-1434. DOI:https://doi.org/10.1609/aaai.v33i01.33011427.