Technical Perspective: Model Counting Meets Distinct Elements in a Data Stream.

David P. Woodruff

Published in: SIGMOD Rec. (2022)

Keyphrases

data streams
model counting
weighted model counting
sliding window
concept drift
heavy hitters
knowledge compilation
polynomial size
database
satisfiability testing