Schekotihin, Konstantin

4 publications

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

AAAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin, Mark Law

MLJ 2022 Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin

IJCAI 2021 Lifting Symmetry Breaking Constraints with Inductive Logic Programming Alice Tarzariol, Martin Gebser, Konstantin Schekotihin