Kakuro is a numerical cross-sum puzzle on a grid. Each open cell holds a digit from one to nine; every specified horizontal or vertical run must sum to its clue without repeating a digit within that run. It is naturally a constraint satisfaction problem: cells are variables, digits are domains, and each run combines a sum constraint with an all-different constraint. This formulation supports general reasoning about feasible domains and search strategies without selecting or solving a particular puzzle.
Articles by others on the same topic
Kakuro is a number puzzle that is sometimes referred to as a "cross-sum" puzzle. It is similar to a crossword puzzle but uses numbers instead of words. The objective of Kakuro is to fill in the blank cells in a grid with digits from 1 to 9, such that the numbers in each group of contiguous cells sum up to the specified clues provided in the grid.