Verbal arithmetic, also known as alphametics, cryptarithmetic, cryptarithm or word addition, is a type of mathematical game consisting of a mathematical equation among unknown numbers, whose digits ...

Constraint optimization is a technique of identifying feasible solutions out of a large set of variables where the problem is modelled in terms of arbitrary constraints. A classic example of ...