Ian Barland Phokion G. Kolaitis Madhukar N. Thakur Integer Programming as a Framework for Optimization and Approximability. 144-161 1998 57 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss57.html#BarlandKT98