Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R., Darulova, Eva, Grossman, Dan, and Tatlock, Zachary. Synthesizing structured CAD models with equality saturation and inverse transformations. Retrieved from https://par.nsf.gov/biblio/10188907. PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation . Web. doi:10.1145/3385412.3386012.

Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R., Darulova, Eva, Grossman, Dan, & Tatlock, Zachary. Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, (). Retrieved from https://par.nsf.gov/biblio/10188907. https://doi.org/10.1145/3385412.3386012

Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R., Darulova, Eva, Grossman, Dan, and Tatlock, Zachary. "Synthesizing structured CAD models with equality saturation and inverse transformations". PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (). Country unknown/Code not available. https://doi.org/10.1145/3385412.3386012. https://par.nsf.gov/biblio/10188907.

@article{osti_10188907,
place = {Country unknown/Code not available}, title = {Synthesizing structured CAD models with equality saturation and inverse transformations}, url = {https://par.nsf.gov/biblio/10188907}, DOI = {10.1145/3385412.3386012}, abstractNote = {}, journal = {PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation}, author = {Nandi, Chandrakana and Willsey, Max and Anderson, Adam and Wilcox, James R. and Darulova, Eva and Grossman, Dan and Tatlock, Zachary}, }