Konstantin Schekotihin

2 papers · 2021–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (13)

Conferences

AAAI (1) IJCAI (1)

Top co-authors

Alice Tarzariol (2) Martin Gebser (2) Mark Law (1)

Keywords

answer set programming (2) inductive logic programming (2) symmetry breaking (2) combinatorial optimization (1) constraint learning (1) constraint satisfaction (1) first-order logic (1)

Papers

Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023

Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021