Text this: On Constrained Mixed-Integer DR-Submodular Minimization.