Model Counting Meets Distinct Elements in a Data Stream.

A. Pavan N. V. Vinodchandran Arnab Bhattacharyya Kuldeep S. Meel

Published in: SIGMOD Rec. (2022)

Keyphrases

data streams
model counting
weighted model counting
sliding window
knowledge compilation
heavy hitters
polynomial size
satisfiability testing
concept drift
heuristic search
propositional formulas
knowledge representation
data exchange
normal form
bayesian inference