Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction | IEEE Conference Publication | IEEE Xplore