@inproceedings{DBLP:conf/lpnmr/GebserRS15, title = {Combining Heuristics for Configuration Problems Using Answer Set Programming}, author = {Gebser, Martin and Ryabokon, Anna and Schenner, Gottfried}, booktitle = {{LPNMR}}, pages = {384--397}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9345}, year = {2015} }