Efficient Knowledge Compilation Beyond Weighted Model Counting

Open in new window