Probabilistic satisfiability with imprecise probabilities
scientific article; zbMATH DE number 1770444
scientific article