Arc flow formulations based on dynamic programming: Theoretical foundations and applications

•Derivation of arc flow models from an underlying dynamic programming network.•Structure of arc-flow models: primal and dual insights.•Review of state space relaxation as a tool to balance the size and strength of models.•Review of general solution methods.•Review applications in different areas, as, e.g., cutting, scheduling and routing.