[kherud]

Without being particularly familiar with it, I wonder how BDDs differ from the generalization to multivalued decision diagrams (MDDs)? For example, in constraint satisfaction problems, variables often have more than two values. However, in the context of decision diagrams, you rarely hear about MDDs. Are there theoretical advantages of the binary restriction?