Simona Perri, Francesco Ricca, Marco Sirianni. Advanced Heuristics for Parallel ASP Instantiation. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009. Volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
Abstract is missing.