Kuldeep S Meel

4

Papers

14

Total Citations

Papers (4)

Exact ASP Counting with Compact Encodings

Auditable Algorithms for Approximate Model Counting

An Approximate Skolem Function Counter

Engineering an Exact Pseudo-Boolean Model Counter