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

Lai et al. "New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/712

[Lai et al. "New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/lai2017ijcai-new/) doi:10.24963/IJCAI.2017/712

@inproceedings{lai2017ijcai-new,
  title     = {{New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)}},
  author    = {Lai, Yong and Liu, Dayou and Yin, Minghao},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5010-5014},
  doi       = {10.24963/IJCAI.2017/712},
  url       = {https://mlanthology.org/ijcai/2017/lai2017ijcai-new/}
}