• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Model Counting Meets Distinct Elements in a Data Stream
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya and Kuldeep S. Meel .
SIGMOD Record, 51(1):87–94, June 2022.
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.
@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.
},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Thu Apr 30, 2026 09:22:03