References: [1] Simonis, H. (2008) Kakuro as a constraint problem. Proceedings of the Seventh Int. Works. on Constraint Modelling and Reformulation. [2] Seta & T.A.K.A.H.I. R.O. ‘The Complexity of CROSS SUM.’ IPSJ SIG Notes, AL-84 (2002), 51–58. [3] Ruepp, O. & Holzer, M. The computational complexity of the KAKURO puzzle, revisited. Fun with Algorithms. Springer: Berlin, Heidelberg (2010). [4] Achterberg, T., Koch, T. & Martin, A. (2006) MIPLIB 2003. Operations Research Letters, 34, 361–372. [5] Eén, N. & Sörensson, N. (2004) An extensible SAT-solver. Lecture Notes in Computer Science. Springer: Berlin, Heidelberg, 502–518. [6] Davies, R.P., Roach, P.A. & Perkins, S. (2009) Automation of the solution of kakuro puzzles. Research and Development in Intelligent Systems, XXV, 219–232. [7] Davies, R.P. (2009). An Investigation into the Solution to, and Evaluation of, Kakuro Puzzles. [Masters Phil Thesis]. University of Glamorgan. [8] Cazenave, T. (2010) Monte-Carlo kakuro. Lecture Notes in Computer Science, 45–54. |