Clingcon: The next generation
| Author details: | Mutsunori Banbara, Benjamin KaufmannGND, Max OstrowskiGND, Torsten H. 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 |
