Integer linear program