Martin Gebser

FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding

2025

The grounding bottleneck in Answer Set Programming prohibits large instances from being solved. This is caused by a combinatorial explosion in the grounding phase of standard ground&solve systems. A promising alternative is Body-Decoupled Grounding (BDG), …