Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation. - Daniel Anderson; Gregor Hendel; Pierre Le Bodic; Merlin Viernickel (AAAI, 2019)