Stochastic modeling of branch-and-bound algorithms with best-first search (1985)

by B W Wah, C F Yu
Venue:IEEE Transactions on software engineering