Weixiong Zhang, Richard E. Korf: An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. AAAI 1992: 545-550