125 citations · 125 across the 1 of their papers we have counts for
1 paper
E. Birnbaum, E. L. Lozinskii
As was shown recently, many important AI problems require counting the number of models of propositional formulas. The problem of counting models of such formulas is, according to…