Synthesizing structured CAD models with equality saturation and inverse transformations

egraph

@inproceedings{nandi2020synthesizing,
  title={Synthesizing structured CAD models with equality saturation and inverse transformations},
  author={Nandi, Chandrakana and Willsey, Max and Anderson, Adam and Wilcox, James R and Darulova, Eva and Grossman, Dan and Tatlock, Zachary},
  booktitle={Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation},
  pages={31--44},
  year={2020}
}