BibTeX record conf/iscid/ZhangC19b

download as .bib file

@inproceedings{DBLP:conf/iscid/ZhangC19b,
  author       = {Yan Zhang and
                  Fasheng Cao},
  title        = {On the Succinctness of Cardinality Constraint Programs and Canonical
                  Logic Programs},
  booktitle    = {12th International Symposium on Computational Intelligence and Design,
                  {ISCID} 2019, Hangzhou, China, December 14-15, 2019, Volume 1},
  pages        = {240--244},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISCID.2019.00062},
  doi          = {10.1109/ISCID.2019.00062},
  timestamp    = {Mon, 08 Jun 2020 15:58:31 +0200},
  biburl       = {https://dblp.org/rec/conf/iscid/ZhangC19b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics