An investigation of sharing strategies for Answer Set solvers and SAT solvers

Abstract

This paper describes a parallel engine for Answer Set solving, based on exploitation of search parallelism. The work explores a range of alternative strategies for work sharing, describing their implementations and comparing their efficiency. These results indicate methodologies to combine sharing strategies and select the most effective one depending on properties of the problem. © Springer-Verlag Berlin Heidelberg 2005.