Structure and Interpretation of Dual-Feasible Functions
arXiv:1706.04282 · doi:10.1016/j.endm.2017.10.027
Abstract
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.
6 pages extended abstract to appear in Proc. LAGOS 2017, with 21 pages of appendix