research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
share
research
∙
07/30/2021
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material
Past work on optimizing fabrication plans given a carpentry design can p...
research
∙
07/26/2021
Co-Optimization of Design and Fabrication Plans for Carpentry
Past work on optimizing fabrication plans given a carpentry design can p...
research
∙
01/29/2020