Programming, Binary Decision Diagrams, Computer Science, Boolean.
to solve interesting logic puzzles, like Sudoku. A Sudoku puzzle involves a 9x9 grid, like the one below. The goal is to fill each small box with a number between 1 and 9 such that the entire grid satisfies the following 4 properties: Every small box contains exactly one number between 1 and 9.