Volume: Vol-3741 SEBD 2024 | Year: 2024

Paper: « paper08 | paper34 | paper53 »

Computing the Why-Provenance for Datalog Queries via SAT Solvers

• Marco Calautti ORCID dblp Wikidata
• Ester Livshits dblp
• Markus Schneider 0009 ORCID dblp Wikidata
• Andreas Pieris ORCID dblp Wikidata

51-60 PDF