D. Anderson, G. Hendel, P. Le Bodic, and M. Viernickel, “Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation”, AAAI, vol. 33, no. 01, pp. 1427-1434, Jul. 2019.