Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning | IEEE Conference Publication | IEEE Xplore