BibTeX record conf/iccsp/LinJAC20

download as .bib file

@inproceedings{DBLP:conf/iccsp/LinJAC20,
  author       = {Jian Lin and
                  Liehui Jiang and
                  Chengwei Ai and
                  Shihong Chao},
  title        = {A Shape-inference-based Approach to Enhance Constraint Independence
                  Optimization},
  booktitle    = {{ICCSP} 2020: 4th International Conference on Cryptography, Security
                  and Privacy, Nanjing, China, January 10-12, 2020},
  pages        = {141--145},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377644.3377665},
  doi          = {10.1145/3377644.3377665},
  timestamp    = {Mon, 06 Sep 2021 18:46:03 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsp/LinJAC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.