Advanced conflict-driven disjunctive answer set solving
MetadataShow full item record
We introduce a new approach to disjunctive ASP solving that aims at an equitable interplay between "generating" and "testing" solver units. To this end, we develop novel characterizations of answer sets and unfounded sets allowing for a bidirectional dynamic information exchange between solver units for orthogonal tasks. This results in the new multithreaded disjunctive ASP solver claspD-2, greatly improving the performance of existing systems.
Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13) proceedings
Copyright 2013 AAAI Press. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the conference's website for access to the definitive, published version.
Adaptive Agents and Intelligent Robotics