Caviar: an e-graph based TRS for automatic code optimization2022-03-190 PRE AI DOI:10.1145/3497776.3517781OriginalOriginal request for helpShareSaveAbstract En