Algorithms for discrete nonlinear optimization in FICO Xpress. - Pietro Belotti; Timo Berthold; Kelligton Neves (SAM, 2016)