@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15, title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming}, author = {Banbara, Mutsunori and Gebser, Martin and Inoue, Katsumi and Ostrowski, Max and Peano, Andrea and Schaub, Torsten and Soh, Takehide and Tamura, Naoyuki and Weise, Matthias}, booktitle = {{LPNMR}}, pages = {112--126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9345}, year = {2015} }