Counting, Sampling, and Synthesis: The Quest for Scalability.

Kuldeep S. Meel

Browse the full IJCAI paper archive.