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.

Download full text files

  • SHA-1: b64748368a82fa953a314d677164be797c03360a

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Martin GebserORCiD, Benjamin KaufmannGND, Torsten SchaubORCiDGND
URN:urn:nbn:de:kobv:517-opus4-413977
DOI:https://doi.org/10.25932/publishup-41397
ISSN:1866-8372
Parent Title (English):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
Series (Serial Number):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (586)
Document Type:Postprint
Language:English
Date of first Publication:2019/02/11
Year of Completion:2012
Publishing Institution:Universität Potsdam
Release Date:2019/02/11
Tag:SAT; algorithm; clause elimination; parallel execution; platypus; propositional satisfiability; search; solver; systems
Issue:586
Pagenumber:21
Source:Theory and Practice of Logic Programming 12 (2012) 4–5, pp. 525–545 DOI 10.1017/S1471068412000166
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer Review:Referiert
Publication Way:Open Access
Grantor:Cambridge University Press (CUP)
Licence (German):License LogoKeine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht
Notes extern:Bibliographieeintrag der Originalveröffentlichung/Quelle