Mechanical Synthesis Solver.

Published in: Tech. Sci. Informatiques (2003)

Keyphrases

mechanical devices
program synthesis
data sets
tree search
mechanical design
functional programs
real time
real world
three dimensional
evolutionary algorithm
constraint satisfaction problems
constraint solving
analog circuits
quantified boolean formulas