%0 Journal Article %1 journals/jair/LaiLY17 %A Lai, Yong %A Liu, Dayou %A Yin, Minghao %D 2017 %J J. Artif. Intell. Res. %K dblp %P 453-521 %T New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition. %U http://dblp.uni-trier.de/db/journals/jair/jair58.html#LaiLY17 %V 58

@article{journals/jair/LaiLY17, added-at = {2019-01-21T00:00:00.000+0100}, author = {Lai, Yong and Liu, Dayou and Yin, Minghao}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26866801bc30c56757111868d7a84f2ee/dblp}, ee = {https://doi.org/10.1613/jair.5271}, interhash = {8f435b84149eab3c37cb628c0cb114e9}, intrahash = {6866801bc30c56757111868d7a84f2ee}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {453-521}, timestamp = {2019-09-27T08:31:25.000+0200}, title = {New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair58.html#LaiLY17}, volume = 58, year = 2017 }