Multi-threaded ASP solving with clasp
Multi-threaded ASP solving with clasp
复制标题
用clasp解决多线程ASP
DOI：
--
复制
发表时间：
2012
影响因子：
1.4
通讯作者：
Torsten Schaub
中科院分区：
文献类型：
--
作者：
M. Gebser;B. Kaufmann;Torsten Schaub
摘要我们介绍了最先进的答案SET求解器扣子的新的多线程版本。我们详细介绍其组件和通信体系结构，并说明它们如何支持扣子的主要功能。此外，我们还提供一些有关CLASP处理的不同约束类型的数据表示形式的见解。所有这些都伴随着对扣子中多线程相关的主要特征的广泛实验分析。
Abstract 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.