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]
@inproceedings{LinJAC20, title = {A Shape-inference-based Approach to Enhance Constraint Independence Optimization}, author = {Jian Lin and Liehui Jiang and Chengwei Ai and Shihong Chao}, year = {2020}, doi = {10.1145/3377644.3377665}, url = {https://doi.org/10.1145/3377644.3377665}, researchr = {https://researchr.org/publication/LinJAC20}, cites = {0}, citedby = {0}, pages = {141-145}, booktitle = {ICCSP 2020: 4th International Conference on Cryptography, Security and Privacy, Nanjing, China, January 10-12, 2020}, publisher = {ACM}, isbn = {978-1-4503-7744-7}, }