Allen School team recognized for making equality saturation more practical

Researchers introduced egg, an open-source library using e-graphs and equality saturation to optimize term representations, highlighted in a Communications of the ACM Research Highlight.