@inproceedings{45bdba300c544734b80e35faf9b70b61,
title = "aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming",
author = "Mutsunori Banbara and Martin Gebser and Katsumi Inoue and Max Ostrowski and Andrea Peano and Torsten Schaub and Takehide Soh and Naoyuki Tamura and Matthias Weise",
note = "VK: Niemel{\"a}, I.; COIN; HIIT",
year = "2015",
language = "English",
isbn = "978-3-319-23263-8",
publisher = "Springer",
pages = "112--126",
booktitle = "13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015",
address = "Germany",
}