Comment by glenjamin

This is one of the best explanations on how to write an efficient brute-force sudoku solver with constraint propagation, it's in Python but should be perfectly readable.

http://norvig.com/sudoku.html