@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Kuldeep S. Meel's publication pages at
@COMMENT http://www.comp.nus.edu.sg/~meel/publications/
@article{PVBM22,
  author={
    A. Pavan and
    N. V. Vinodchandran and
    Arnab Bhattacharyya and
    Kuldeep S. Meel
  },
  title={Model Counting Meets Distinct Elements in a Data Stream},
  journal={SIGMOD Record},
  volume={51},
  number={1},
  bib2html_rescat={Counting,Data Streams},
  pages={87--94},
  year={2022},
  month=jun,
  bib2html_pubtype={Journal},
  url={https://doi.org/10.1145/3542700.3542721},
  abstract={
    Constraint satisfaction problems (CSPs) and data stream models are two
    powerful abstractions to capture a wide variety of problems arising in
    different domains of computer science. Developments in the two communities
    have mostly occurred independently and with little interaction between them.
    In this work, we seek to investigate whether bridging the seeming
    communication gap between the two communities may pave the way to richer
    fundamental insights. To this end, we focus on two foundational problems:
    model counting for CSPs and computation of zeroth frequency moments (F0) for
    data streams.
  },
}