Computing Valid Inequalities for General Integer Programs using an Extension of Maximal Dual Feasible Functions to Negative Arguments. - Rietz, Jürgen; Alves, Cláudio; Carvalho, José M. Valério de; Clautiaux, François (2012)