Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.

Kuldeep S. Meel, S. Akshay

Browse the full LICS paper archive.