Abstraction, Reformulation, and Approximation

Journal