A Shape-inference-based Approach to Enhance Constraint Independence Optimization. - Jian Lin 007; Liehui Jiang; Chengwei Ai; Shihong Chao (ICCSP, 2020)