[1]
F. Chesani, P. Mello, and M. Milano, “Solving Mathematical Puzzles: A Challenging Competition for AI”, AIMag, vol. 38, no. 3, pp. 83-96, Oct. 2017.