- Treffer 1 von 1
Clingcon: The next generation
Verfasserangaben: | Mutsunori Banbara, Benjamin KaufmannGND, Max OstrowskiGND, Torsten 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 |