Sentential Decision Diagram