@inproceedings{
    BanbaraGIOPSSTW15lpnmr,
    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",
    publisher = "Springer-Verlag",
    responsibleauthor = "Gebser, Martin",
    language = "eng",
    title = "aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)",
    year = "2015",
    isbn = "978-3-319-23263-8",
    flags = "COIN HIIT public",
    volume = "9345",
    juforank = "1",
    il = "yes",
    eventdetails = "International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, 28-30 September, Lexington, Kentucky, USA",
    pdf = "BanbaraGIOPSSTW15lpnmr.pdf",
    unitcode = "T306-99, T312-1",
    kay = "NA",
    impactfactor = "A4",
    pages = "112-126"
}