Enhancing Compilation-based ASP Solving with Postponed Atom Discovery.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Browse the full ICLP paper archive.