24. AAAI Workshop: Abstraction, Reformulation, and Approximation 2010: Atlanta, Georgia, USA