Multi-threaded ASP solving with clasp
Martin Gebser, Benjamin Kaufmann, Torsten H. Schaub · Theory and Practice of Logic Programming · 2012
Abstract We present the new multi-threaded version of the state-of-the-art answer set solverclasp. We detail its component and communication architecture and illustrate how they support the principal functionalities ofclasp. Also, we provide some insights into the data representation used for different constraint types handled byclasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading inclasp.