@article{DBLP:journals/corr/BanbaraGISSTW13, title = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming}, author = {Banbara, Mutsunori and Gebser, Martin and Inoue, Katsumi and Schaub, Torsten and Soh, Takehide and Tamura, Naoyuki and Weise, Matthias}, journal = {CoRR}, volume = {abs/1312.6113}, year = {2013} }