Vol-3740⫷ Vol-3741 ⫸Vol-3742
urn:nbn:de:0074-3741-0


Vol-3741/paper08⫷Vol-3741/paper34⫸Vol-3741/paper53
Marco CalauttiEster LivshitsAndreas PierisMarkus Schneider 0009

Computing the Why-Provenance for Datalog Queries via SAT Solvers