Cryptarithmetic Revisited
FC cannot propagate until only one variable left in constraint
AC cannot propagate until only two variables left
When coded in ILOG Solver, search backtracks 8018 times
How can we formulate the problem better?
Hint: we’d like to consider the sum in each column separately