Solving the 15-puzzle
The 15-puzzle is a classic "sliding tile" puzzle that consists of tiles arranged in a 4 by 4 grid with one tile missing. The objective is to arrange the tiles in a sorted order only by making moves that slide a tile into the empty space. In this worksheet we demonstrate how this puzzle can be solved by encoding its rules into Boolean logic and using Maple's SAT solver.