sudoku solutions using logic equations .
Sudoku as a SAT Problem