ProCount: weighted projected model counting with graded project-join trees
scientific article; zbMATH DE number 7495571
scientific article