TY  - RPRT
TI  - Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
AU  - Chandrakana Nandi
AU  - Max Willsey
AU  - Adam Anderson
AU  - James R. Wilcox
AU  - Eva Darulova
AU  - Dan Grossman
AU  - Zachary Tatlock
PY  - 2020
DO  - 10.1145/3385412.3386012
UR  - https://arxiv.org/abs/1909.12252
ID  - 1909.12252
ER  -