A Shape-inference-based Approach to Enhance Constraint Independence Optimization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jian Lin' in GoogleThis author has not been identified. Look up 'Liehui Jiang' in GoogleThis author has not been identified. Look up 'Chengwei Ai' in GoogleThis author has not been identified. Look up 'Shihong Chao' in Google

runs on WebDSL