Constraint Solver Requirements for Interactive Configuration. - Andreas A. Falkner; Alois Haselböck; Gerfried Krames; Gottfried Schenner; Richard Taupe (ConfWS, 2019)

Solver Requirements for Interactive Configuration. - Andreas A. Falkner; Alois Haselböck; Gerfried Krames; Gottfried Schenner; Herwig Schreiner; Richard Taupe (J. Univers. Comput. Sci., 2020)