ApproxASP - a Scalable Approximate Answer Set Counter.

Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel

Browse the full AAAI paper archive.