Multi-objective optimization in rule-based design space exploration
Constraint-based design-space exploration and model synthesis