Hung Viet Le, Enrico Pontelli. Dynamic scheduling in parallel answer set programming solvers. In Maurice J. Ades, editor, Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2. pages 367-374, SCS/ACM, 2007. [doi]
Abstract is missing.