New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).

Yong Lai, Dayou Liu, Minghao Yin

Browse the full IJCAI paper archive.