Wenn ich mich recht erinnere, lassen isch lösbare Sudokus automatisiert mit dem Dancing Links (DLX) Algorithmus vom Godfather of Programming Donald Knuth lösen. Eine Erklärung dazu wäre beispielsweiese hier:
http://moritz.faui2k3.org/de/dancing-links
Aber zu diesem Stichwort findest du jede Menge!