TY  - RPRT
TI  - Conflict Extraction in Probabilistic Datalog Analyses
AU  - Siyu Chen
AU  - Chungha Sung
AU  - Xuyang Li
AU  - Jingbo Wang
PY  - 2026
UR  - https://arxiv.org/abs/2608.10755
ID  - 2608.10755
ER  -