Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations