TY  - RPRT
TI  - EviDC: A Violation-Guided Algorithm for Incremental Denial Constraint Discovery
AU  - Qian Zhou
AU  - Xixian Han
AU  - Xiaolong Wan
PY  - 2026
UR  - https://arxiv.org/abs/2607.24021
ID  - 2607.24021
ER  -