Exact ASP Counting with Compact Encodings.

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

Browse the full AAAI paper archive.