research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
share
research
∙
09/26/2019
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Recent program synthesis techniques help users customize CAD models(e.g....
research
∙
09/26/2019
