Reformulations

Definition of Reformulations