Keyword:lazy grounding

Papers
Speeding Up Lazy-Grounding Answer Set Solving Richard Taupe EasyChair Preprint no. 383