Andreas A. Falkner, Alois Haselböck, Gerfried Krames, Gottfried Schenner, Herwig Schreiner, Richard Taupe. Solver Requirements for Interactive Configuration. J. UCS, 26(3):343-373, 2020. [doi]
@article{FalknerHKSST20,
title = {Solver Requirements for Interactive Configuration},
author = {Andreas A. Falkner and Alois Haselböck and Gerfried Krames and Gottfried Schenner and Herwig Schreiner and Richard Taupe},
year = {2020},
url = {http://www.jucs.org/jucs_26_3/solver_requirements_for_interactive},
researchr = {https://researchr.org/publication/FalknerHKSST20},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {26},
number = {3},
pages = {343-373},
}