@inproceedings{AndersonHendelLeBodicetal.2018, author = {Daniel Anderson and Gregor Hendel and Pierre Le Bodic and Jan Merlin Viernickel}, title = {Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation}, booktitle = {AAAI-19: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence}, year = {2018}, note = {accepted for publication} }