Ashish Sabharwal

• Abstraction, Reformulation, and Approximation