MIDAS: A Mixed Integer Dynamic Approximation Scheme | AMiner