Approximate Model Counting by Partial Knowledge Compilation

Re-assign community