Hoffman, Benjamin, Chalmers, Kevin, Urquhart, Neil, Guckert, Michael, "Athos - A Model Driven Approach to Describe and Solve Optimisation Problems", , 2019