Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

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 heuris...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	arXiv.org 2020-04
Hauptverfasser:	Nandi, Chandrakana, Willsey, Max, Anderson, Adam, Wilcox, James R, Darulova, Eva, Grossman, Dan, Tatlock, Zachary
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Arithmetic CAD Computer aided design Computer Science - Computational Geometry Computer Science - Programming Languages Constructive solid geometry Editing Laser beam cutting Mathematical models Parameterization Parameters Repetitive structures Solvers Synthesis Three dimensional printing Triangles Trigonometric functions Websites
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!