JK Fichte,
M Hecher, V Roland - 25th International Conference on …, 2022 - drops.dagstuhl.de
Although propositional model counting (# SAT) was long considered too hard to be practical,
today's highly efficient solvers facilitate applications in probabilistic reasoning, reliability …