PPProbe extracts minimal unsatisfiable subsets from probabilistic Datalog derivation graphs to identify and filter mutually inconsistent analysis alarms.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Conflict Extraction in Probabilistic Datalog Analyses
PPProbe extracts minimal unsatisfiable subsets from probabilistic Datalog derivation graphs to identify and filter mutually inconsistent analysis alarms.