Knowledge Compilation for Model Counting: Affine Decision Trees

Open in new window