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]
No references recorded for this publication.
No citations of this publication recorded.