Jian Lin, Liehui Jiang, Chengwei Ai, Shihong Chao. A Shape-inference-based Approach to Enhance Constraint Independence Optimization. In ICCSP 2020: 4th International Conference on Cryptography, Security and Privacy, Nanjing, China, January 10-12, 2020. pages 141-145, ACM, 2020. [doi]
Abstract is missing.