Return to Article Details New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition Download Download PDF