Theoretical and computational results about optimality-based domain reductions