ML Anthology

Livshits, Ester

1 publications

AAAI 2024 Computing the Why-Provenance for Datalog Queries via SAT Solvers Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider