Projected Model Counting: Beyond Independent Support.

Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel

Browse the full ATVA paper archive.