Problem formulation adapting