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
Abstract
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.
Topics & Concepts
CADConstructive solid geometryConstructiveHeuristicsPolygon meshComputer Aided DesignComputer scienceInverseAlgorithmEngineering drawingTheoretical computer scienceParameterized complexityKey (lock)Saturation (graph theory)Mesh generationMathematicsGeometrySolid modelingComputational scienceTopology (electrical circuits)VisualizationComputationManufacturing Process and OptimizationParallel Computing and Optimization TechniquesModel-Driven Software Engineering Techniques