A branch and bound algorithm to optimize the representation of tabular decision processe