A Branch and Bound Algorithm for Use in Resource Allocation