Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Dynamic minimization of sentential decision diagrams