12. The computer program product of claim 11 , wherein partitioning the plurality of subproblems into a plurality of partitions comprises dividing the search space into strata corresponding to the number of quantifiers of the QEP referencing the combined set of quantifiers for the constituent QEPs.
15. The computer program product of claim 12 , wherein partitioning the plurality of subproblems into a plurality of partitions comprises randomly allocating sets of quantifiers of a second set of constituent QEPs to partitions.