Weighted Model counting (WMC ... and uses the algorithmic framework of dynamic programming with Algebraic Decision Diagrams (ADDs) as its main data structure. Algorithms for constructing ADDs ...