The apparent complexity of a problem can often be reduced to a much smaller practical complexity by detecting intrinsic symmetries. Parts of the search tree can then be safely ignored.