Branch_and_bound