Keyword : simple%20disjunctive%20decomposition