Linear Programming, Kakuro Puzzles, Gurobi, Puzzle Game, Discrete Optimization.
To see this in effect, I wrote a Python program that implements these constraints, available on my Github [3]. Using my program which uses the 5 linear constraints described in this article, we can solve even the hardest Kakuro puzzles available on the internet within seconds. An unsolved Kakuro