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