Constraint Synthesis for Parametric CAD.

Aman Shankar Mathur Damien Zufferey

Published in: PG (Short Papers, Posters, and Work-in-Progress Papers) (2021)

Keyphrases

program synthesis
computer aided design
computer aided
linear constraints
data sets
object oriented
cad systems
solid models
databases
real world
face recognition
image analysis
evolutionary algorithm
d objects
design process
global constraints