Invia SMS: Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992 / Nathaniel Dean, Gregory E. Shannon, editors.