New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition

Lai et al. "New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition." Journal of Artificial Intelligence Research, 2017. doi:10.1613/JAIR.5271

[Lai et al. "New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition." Journal of Artificial Intelligence Research, 2017.](https://mlanthology.org/jair/2017/lai2017jair-new/) doi:10.1613/JAIR.5271

@article{lai2017jair-new,
  title     = {{New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition}},
  author    = {Lai, Yong and Liu, Dayou and Yin, Minghao},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2017},
  pages     = {453-521},
  doi       = {10.1613/JAIR.5271},
  volume    = {58},
  url       = {https://mlanthology.org/jair/2017/lai2017jair-new/}
}