分支限界搜索

branch-and-bound search