Begin implementation of solveBranchAndBound()