Structure and Interpretation of Dual-Feasible Functions

We study two techniques to obtain new families of classical and general Dual-Feasible Functions: a conversion from minimal Gomory-Johnson functions; and computer-based search using polyhedral computation and an automatic maximality and extremality test.