An Approximate Skolem Function Counter.

Arijit Shaw, Brendan Juba, Kuldeep S. Meel

Browse the full AAAI paper archive.