[ahamez]

Out of curiosity: when you talk about SDD, are you referring to Hierarchical Set Decision Diagrams or Sentential decision diagrams? I did my Ph.D. on the former, hence the curiosity :-)

[fcholf]

In my comment, it was for Sentential Decision Diagrams.