Solving sudoku puzzles may not require mathematics, but mathematicians have found plenty to say about the popular brainteasers.

Graph matching, set covering, and partitioning problems are both theoretically and practically important in decision support Systems. Numerous decision support applications have been modeled as graph ...

In theory, it cannot be ruled out that the algorithms might run for longer than the age of the universe. But in practice, many algorithms seem to work just fine.