Rounding meets approximate model counting
scientific article; zbMATH DE number 7787551
scientific article