Sudoku solver using Knuth's DLX strategy