SPORES: Sum-Product Optimization via Relational Equality Saturation for Large Scale Linear Algebra. - Yisu Remy Wang; Shana Hutchison; Dan Suciu; Bill Howe; Jonathan Leang (Proc. VLDB Endow., 2020)