Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach

Open in new window