DSCS: Fast CPDAG-Based Verification of Collapsible Submodels in High-Dimensional Bayesian Networks - Wu, Wentao; He, Shiyuan; Guo, Jianhua (Advances in Neural Information Processing Systems, 2025)