004 Datenverarbeitung; Informatik
Refine
Document Type
- Article (1)
- Doctoral Thesis (1)
- Postprint (1)
Language
- English (3)
Is part of the Bibliography
- yes (3)
Keywords
- SAT (1)
- algorithm (1)
- clause elimination (1)
- parallel execution (1)
- platypus (1)
- propositional satisfiability (1)
- search (1)
- solver (1)
- systems (1)
The Potsdam answer set solving collection, or Potassco for short, bundles various tools implementing and/or applying answer set programming. The article at hand succeeds an earlier description of the Potassco project published in Gebser et al. (AI Commun 24(2):107-124, 2011). Hence, we concentrate in what follows on the major features of the most recent, fifth generation of the ASP system clingo and highlight some recent resulting application systems.
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.