FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding.

Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran

Browse the full KR paper archive.