Title: Solving Parametric Design Problems Requiring Configuration Choices