TY  - RPRT
TI  - Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
AU  - Mutsunori Banbara
AU  - Martin Gebser
AU  - Katsumi Inoue
AU  - Torsten Schaub
AU  - Takehide Soh
AU  - Naoyuki Tamura
AU  - Matthias Weise
PY  - 2013
UR  - https://arxiv.org/abs/1312.6113
ID  - 1312.6113
ER  -