Dynamic scheduling in parallel answer set programming solvers
Hung Viet Le, Enrico Pontelli · Spring Simulation Multiconference · 2007
The paper describes an experimental analysis of dynamic scheduling strategies for a novel logic programming paradigm---Answer Set Programming. The work identifies a collection of policies to classify variations of centralized and decentralized scheduling schemes, and develops adaptive solutions in the context of a decentralized dynamic scheduling. The resulting techniques have been integrated in a state-of-the-art parallel solver, with excellent performance results.