Communications of the ACM

Latest Research

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... David P. Woodruff
From 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... A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
From Communications of the ACM | September 2023