Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
September 2023
From Communications of the ACM
Model Counting Meets Distinct Elements
In this work, we seek to investigate whether bridging the seeming communication gap between two different domains of computer science may pave the way to richer fundamental insights.
From Communications of the ACM
Technical Perspective: Tapping the Link between Algorithmic Model Counting and Streaming
"Model Counting Meets Distinct Elements," by A. Pavan et al., gives a surprising connection between model counting and streaming, providing a generic transformation of data stream algorithms for F0 estimation to algorithms for…