Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992. - Dean, Nathaniel, 1956-; Shannon, Gregory E., 1960- (DIMACS series in discrete mathematics and theoretical computer science, 1994)