ProCount: Weighted Projected Model Counting with Graded Project-Join Trees.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Browse the full SAT paper archive.