news

Jul 04, 2025 Our paper “AxSAT - Bringing Axioms to SAT Planning” got accepted at JELIA 2025.
May 01, 2025 I joined Heidelberg University as a lecturer (Akademischer Rat).