[ On representing group elements in terms of generators ]
I have become interested in this again, because of applications to routing
in parallel archectures (I actually found papers using the Schreier thm.
in eng. journals :-)
Gene Cooperman <firstname.lastname@example.org> and Larry Finkelstein <email@example.com> have
done some recent work on this sort of computation. In particular, I think they
solved the 2x2x2 Rubik's cube.