Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization | IEEE Conference Publication | IEEE Xplore