aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

7 Citations (Scopus)
Original languageEnglish
Title of host publication13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015
Pages112-126
ISBN (Electronic)978-3-319-23264-5
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherSpringer
ISSN (Print)0302-9743

Cite this