Tag: e-Matching

Beiträge mit dem Schlagwort „e-Matching“

Equality Saturation bekommt Assoziativität und Kommutativität nativ – E-Graphen werden nicht mehr exponentiell aufgebläht

1. Oktober 2026