The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 50 of 61
Back to Result List

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

Search Google Scholar Statistics
Metadaten
Author details:Martin GebserORCiD, Benjamin KaufmannGND, Torsten H. SchaubORCiDGND
URN:urn:nbn:de:kobv:517-opus4-413977
DOI:https://doi.org/10.25932/publishup-41397
ISSN:1866-8372
Title of parent work (English):Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
Publication series (Volume number):Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe (586)
Publication type:Postprint
Language:English
Date of first publication:2019/02/11
Publication year: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
Number of pages: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
DDC classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Peer review:Referiert
Publishing method:Open Access
Grantor:Cambridge University Press (CUP)
License (German):License LogoKeine öffentliche Lizenz: Unter Urheberrechtsschutz
External remark:Bibliographieeintrag der Originalveröffentlichung/Quelle
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.