Counting propositional models
number of models of a propositional formula
scientific article; zbMATH DE number 92072