Complexity of generalized satisfiability counting problems
scientific article; zbMATH DE number 896632