State space graph
- Mathematical representation of a search problem
- Nodes: abstracted world configurations
- Arcs: successors (action results)
- Goal test: set of goal node(s)
- In a state space graph, each state occurs only once
- Problem: Too big to build in memory, but useful
