New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition

Open Webpage

Yong Lai, Dayou Liu, Minghao Yin

Published: 01 Jan 2017, Last Modified: 01 Aug 2025J. Artif. Intell. Res. 2017EveryoneRevisionsBibTeXCC BY-SA 4.0