Min-max inequalities and the timing verification problem with max and linear constraints
maximum separation problem with max and linear timing (MSMLC)
scientific article; zbMATH DE number 2161211