%0 Conference Paper %1 conf/ijcai/LaiLY17 %A Lai, Yong %A Liu, Dayou %A Yin, Minghao %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 5010-5014 %T New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#LaiLY17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/LaiLY17, added-at = {2019-08-20T00:00:00.000+0200}, author = {Lai, Yong and Liu, Dayou and Yin, Minghao}, biburl = {https://www.bibsonomy.org/bibtex/2aef816b665514d96d55daa1d671fc192/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/712}, interhash = {a7c8315d492230a09bda94903f7b54fb}, intrahash = {aef816b665514d96d55daa1d671fc192}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {5010-5014}, publisher = {ijcai.org}, timestamp = {2019-08-21T11:50:23.000+0200}, title = {New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#LaiLY17}, year = 2017 }