Belief Revision in Sentential Decision Diagrams