• 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 Sun Apr 14, 2024 11:15:51