Comploi-Taupe, Richard

1 publications

JAIR 2023 Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl