@misc{indiciae20329304896b,
  title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations},
  author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock},
  year = {2020},
  doi = {10.1145/3385412.3386012},
  url = {https://arxiv.org/abs/1909.12252},
  note = {Source identifier: 1909.12252}
}