Simona Perri, Francesco Ricca, Marco Sirianni. Towards a Fully-Parallel DLV System. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010. Volume 616 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Abstract is missing.