Integer linear programing