On Constrained Mixed-Integer DR-Submodular Minimization. - Yu, Qimeng; Küçükyavuz, Simge (Mathematics of Operations Research (INFORMS), 2025)