Technical Perspective: Tapping the Link between Algorithmic Model Counting and Streaming.

David P. Woodruff

Published in: Commun. ACM (2023)

Keyphrases

model counting
weighted model counting
knowledge compilation
data streams
polynomial size
satisfiability testing
database
query processing
upper bound
bayesian inference