Synthesizing structured CAD models with equality saturation and inverse transformations
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI 2020
London, UK
Association for Computing Machinery
New York, NY, USA
Pages 31-44
2020
Note(s): egraphs
PLDI 2020
London, UK
Association for Computing Machinery
New York, NY, USA
Pages 31-44
2020
Note(s): egraphs