Abstract: Equality graphs (E-graphs) offer a compact representation for vast sets of equivalent implementations, proving invaluable in hardware synthesis and program optimization. Nevertheless, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results