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 :-)