Model Counting Meets Distinct Elements in a Data Stream

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

Available in: PDF