In my comment, it was for Sentential Decision Diagrams.