From Weighted to Unweighted Model Counting.

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

Browse the full IJCAI paper archive.