Comment by fcholf

In my comment, it was for Sentential Decision Diagrams.