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

The article discusses the relationship between model counting and streaming algorithms, and it mentions the differences between the idea of efficiency for model counting and the idea of estimating the amount of distinct elements in a given data stream. Data streams and a hashing-based technique for model counting are assessed, as well as a Satisfiability problem.