Segment-based Formulation