Co-occurring keywords · papers mentioning both
Papers
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck
IJCAI 2022
Compilation of Aggregates in ASP Systems
AAAI 2022
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators
IJCAI 2020
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
AAAI 2019