Partial Domino Reduction