IntegerProgramming_Conforti_2014 documentation