Clingcon: The next generation
| Verfasserangaben: | Mutsunori Banbara, Benjamin KaufmannGND, Max OstrowskiGND, Torsten H. SchaubORCiDGND |
|---|---|
| DOI: | https://doi.org/10.1017/S1471068417000138 |
| ISSN: | 1471-0684 |
| ISSN: | 1475-3081 |
| Titel des übergeordneten Werks (Englisch): | Theory and practice of logic programming |
| Verlag: | Cambridge Univ. Press |
| Verlagsort: | New York |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 2017 |
| Erscheinungsjahr: | 2017 |
| Datum der Freischaltung: | 20.04.2020 |
| Freies Schlagwort / Tag: | Answer Set Programming (ASP); Constraint Answer Set Programming (CASP); Constraint Programming (CP); Sat Modulo Theories (SMT) |
| Band: | 17 |
| Seitenanzahl: | 54 |
| Erste Seite: | 408 |
| Letzte Seite: | 461 |
| Fördernde Institution: | JSPS [KAKENHI 15K00099]; DFG [SCHA 550/9] |
| Peer Review: | Referiert |
| Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |
