A worrying amount of serious CS effort was put into the problem of Sudoku solving after it became a big hit.