Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines | IEEE Conference Publication | IEEE Xplore