ASP modulo CSP
- We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude.
Verfasserangaben: | Max OstrowskiGND, Torsten SchaubORCiDGND |
---|---|
URN: | urn:nbn:de:kobv:517-opus4-413908 |
DOI: | https://doi.org/10.25932/publishup-41390 |
ISSN: | 1866-8372 |
Titel des übergeordneten Werks (Englisch): | Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe |
Untertitel (Englisch): | the clingcon system |
Schriftenreihe (Bandnummer): | Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (579) |
Publikationstyp: | Postprint |
Sprache: | Englisch |
Datum der Erstveröffentlichung: | 07.02.2019 |
Erscheinungsjahr: | 2012 |
Veröffentlichende Institution: | Universität Potsdam |
Datum der Freischaltung: | 07.02.2019 |
Freies Schlagwort / Tag: | SMT; answer set; constraints; logic |
Ausgabe: | 579 |
Seitenanzahl: | 19 |
Quelle: | Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 485–503 DOI 10.1017/S1471068412000142 |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer Review: | Referiert |
Publikationsweg: | Open Access |
Fördermittelquelle: | Cambridge University Press (CUP) |
Lizenz (Deutsch): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
Externe Anmerkung: | Bibliographieeintrag der Originalveröffentlichung/Quelle |