  We introduce a graphical representation of stabilizer states and translate
the action of Clifford operators on stabilizer states into graph operations on
the corresponding stabilizer-state graphs. Our stabilizer graphs are
constructed of solid and hollow nodes, with (undirected) edges between nodes
and with loops and signs attached to individual nodes. We find that local
Clifford transformations are completely described in terms of local
complementation on nodes and along edges, loop complementation, and change of
node type or sign. Additionally, we show that a small set of equivalence rules
generates all graphs corresponding to a given stabilizer state; we do this by
constructing an efficient procedure for testing the equality of any two
stabilizer graphs.
