Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting | Hey There Buddo!
https://www.philipzucker.com/multiset_rw/
links
backlinks
Roast topics
Find topics
Find it!
Egraph rewriting is a methodology for optimizing expression. A known problem is that some of the rewrite rules explode the egraph in size for what feels like common administrative manipulations like a + b = b + a or a * (b * c) = (a * b) * c.
