Flexible and Approximate Computation through State-Space Reduction