ADDMC: Weighted Model Counting with Algebraic Decision Diagrams.

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

Browse the full AAAI paper archive.