A Problem Reduction Model for Non-Independent Subproblems