Darulova, Eva Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;
Nandi, C., Willsey, M., Anderson, A., Wilcox, J. R., Darulova, E., Grossman, D., et al. (2020). Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations. In A. F. Donaldson, & E. Torlak (Eds.), PLDI '20 (pp. 31-44). New York, NY: ACM. doi:10.1145/3395645.