Gregory M. Provan, Ashish Sabharwal: Preface. Abstraction, Reformulation, and Approximation 2010