Investigation of Kakuro properties and solution, using heuristics, exhaustive and constraint-based methods

This newly-started work involves the analysis of Kakuro, and associated cross-sum puzzles. These puzzles lend themselves to solution through the application of constraint-based, as well as heuristic search and meta-heuristic search methods. These techniques, and the use of combinatorial analysis, are expected to enable the establishment and proof of puzzle properties.

A publication with former research student Ryan Davies has appeared on properties of and methods of solution of Kakuro-type puzzles using heuristics, exhaustive and constraint-based methods.

For more information, please contact Prof Paul Roach or Dr Stephanie Perkins.