Automata, Computability and Complexity: Theory & Applications

Fermat Numbers

The 15-Puzzle

Other puzzles, including Sudoku and Rubik’s Cube