Quartz 5
Search
Search
Dark mode
Light mode
Explorer
graph/rewriting
7 items with this tag.
Jun 28, 2026
Term Rewriting
graph/rewriting
Jun 28, 2026
Equality Saturation
graph/rewriting
watchlater
Jun 28, 2026
Dag Representation and Optimization of Rewriting
paper
graph/rewriting
graph/theory
Jun 28, 2026
Abstract Rewriting
graph/rewriting
toohard
Apr 15, 2022
Equality saturation a new approach to optimization
paper/egraph
graph/rewriting
todo
Apr 11, 2022
E-graph
graph/theory
compiler/optimization
graph/rewriting
Jul 26, 2021
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting
graph/rewriting
fhe/compiler
paper