Anderson, D.; Hendel, G.; Le Bodic, P.; Viernickel, M. Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation. AAAI 2019, 33, 1427-1434.