Blending Grounding and Compilation for Efficient ASP Solving.

Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Browse the full KR paper archive.