Enhancing Compilation-based ASP Solving. | AMiner