Text this: Problem restructuring in interger programming for reduct searching