New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models