Updating problem formulation document