Solving the World's Hardest Sudoku
Sudoku is a popular puzzle that appears in many puzzle books and newspapers. We can use Maple's built-in efficient SAT solver to quickly solve the "world's hardest Sudoku" without any knowledge of Sudoku solving techniques.