View of New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition

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