Set-Valued Probabilistic Sentential Decision Diagrams. - Antonucci, Alessandro; Facchini, Alessandro (2018)