Clingcon: The next generation
Author details: | Mutsunori Banbara, Benjamin KaufmannGND, Max OstrowskiGND, Torsten SchaubORCiDGND |
---|---|
DOI: | https://doi.org/10.1017/S1471068417000138 |
ISSN: | 1471-0684 |
ISSN: | 1475-3081 |
Title of parent work (English): | Theory and practice of logic programming |
Publisher: | Cambridge Univ. Press |
Place of publishing: | New York |
Publication type: | Article |
Language: | English |
Year of first publication: | 2017 |
Publication year: | 2017 |
Release date: | 2020/04/20 |
Tag: | Answer Set Programming (ASP); Constraint Answer Set Programming (CASP); Constraint Programming (CP); Sat Modulo Theories (SMT) |
Volume: | 17 |
Number of pages: | 54 |
First page: | 408 |
Last Page: | 461 |
Funding institution: | JSPS [KAKENHI 15K00099]; DFG [SCHA 550/9] |
Peer review: | Referiert |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |