Implementing constraint propagation programs to solve Sudoku puzzles and the Australian map coloring problem.