Theoretical investigations on maximal dual feasible functions

Dual feasible functions are used to get valid inequalities and lower bounds for integer linear problems. In this paper, we provide a simpler proof for maximality, and we describe new results concerning the extremality of functions from the literature. Extremal functions are a dominant class of dual feasible functions.