Synthesizing structured CAD models with equality saturation and inverse transformations
Synthesizing structured CAD models with equality saturation and inverse transformations
复制标题
通过等式饱和和逆变换综合结构化 CAD 模型
DOI：
10.1145/3385412.3386012
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Tatlock, Zachary
中科院分区：
文献类型：
--
作者：
Nandi, Chandrakana;Willsey, Max;Anderson, Adam;Wilcox, James R.;Darulova, Eva;Grossman, Dan;Tatlock, Zachary
最近的程序合成技术帮助用户定制CAD模型（例如，用于3D打印），将低级三角形网格反编译为构造性实体几何（CSG）表达式。没有循环或功能，编辑CSG可能需要许多协调的变化，和现有的网格反编译器使用的算法，可以混淆高层次的structure.This本文提出了第二个反编译阶段，鲁棒地“收缩”非结构化的CSG表达式到更可编辑的程序与地图和折叠操作。我们提出Szalinski，一个工具，使用平等饱和与语义保持CAD重写有效地搜索较小的等效程序。Szalinski依赖于逆变换，这是求解器推测性地将等价物添加到E图的一种新方法。我们定性评估Szalinski的案例研究，显示它如何与现有的网格反编译器组成，并证明Szalinski可以在几秒钟内缩小大型模型。
Recent program synthesis techniques help users customize CAD models(e.g., for 3D printing) by decompiling low-level triangle meshes to Constructive Solid Geometry (CSG) expressions. Without loops or functions, editing CSG can require many coordinated changes, and existing mesh decompilers use heuristics that can obfuscate high-level structure.This paper proposes a second decompilation stage to robustly "shrink" unstructured CSG expressions into more editable programs with map and fold operators. We present Szalinski, a tool that uses Equality Saturation with semantics-preserving CAD rewrites to efficiently search for smaller equivalent programs. Szalinski relies on inverse transformations, a novel way for solvers to speculatively add equivalences to an E-graph. We qualitatively evaluate Szalinski in case studies, show how it composes with an existing mesh decompiler, and demonstrate that Szalinski can shrink large models in seconds.
登录
查看更多内容
DOI：
10.1145/2813885.2737959
发表时间：
2015
期刊：
Sigplan Notices
影响因子：
--
作者：
P. Panchekha;Alex Sanchez;James R. Wilcox;Zachary Tatlock
通讯作者：
Zachary Tatlock
DOI：
10.1145/3183713.3196891
发表时间：
2018-01
期刊：
Proceedings of the 2018 International Conference on Management of Data
影响因子：
--
作者：
Maaz Bin Safeer Ahmad;Alvin Cheung
通讯作者：
Maaz Bin Safeer Ahmad;Alvin Cheung
DOI：
--
发表时间：
2017-07
期刊：
ArXiv
影响因子：
--
作者：
Kevin Ellis;Daniel Ritchie;Armando Solar-Lezama;J. Tenenbaum
通讯作者：
Kevin Ellis;Daniel Ritchie;Armando Solar-Lezama;J. Tenenbaum
迪纳利峰
DOI：
--
发表时间：
1988
期刊：
Restoration & Management Notes
影响因子：
--
作者：
S. Glass
通讯作者：
S. Glass
DOI：
10.1109/emsoft.2013.6658600
发表时间：
2013
期刊：
2013 Proceedings of the International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
Eva Darulova;Viktor Kunčak;R. Majumdar;I. Saha
通讯作者：
I. Saha