Multi-threaded ASP solving with clasp

We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp.

Metadaten
Verfasserangaben:	Martin Gebser ORCiD, Benjamin Kaufmann GND, Torsten H. Schaub ORCiD GND
URN:	urn:nbn:de:kobv:517-opus4-413977
DOI:	https://doi.org/10.25932/publishup-41397
ISSN:	1866-8372
Titel des übergeordneten Werks (Englisch):	Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
Schriftenreihe (Bandnummer):	Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (586)
Publikationstyp:	Postprint
Sprache:	Englisch
Datum der Erstveröffentlichung:	11.02.2019
Erscheinungsjahr:	2012
Veröffentlichende Institution:	Universität Potsdam
Datum der Freischaltung:	11.02.2019
Freies Schlagwort / Tag:	SAT; algorithm; clause elimination; parallel execution; platypus; propositional satisfiability; search; solver; systems
Ausgabe:	586
Seitenanzahl:	21
Quelle:	Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166
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