Efficient signed backward substitution for piecewise affine functions via path problems in a directed acyclic graph.