%0 Journal Article %1 journals/dam/HoriyamaI04 %A Horiyama, Takashi %A Ibaraki, Toshihide %D 2004 %J Discret. Appl. Math. %K dblp %N 1-3 %P 151-163 %T Reasoning with ordered binary decision diagrams. %U http://dblp.uni-trier.de/db/journals/dam/dam142.html#HoriyamaI04 %V 142

@article{journals/dam/HoriyamaI04, added-at = {2021-02-11T00:00:00.000+0100}, author = {Horiyama, Takashi and Ibaraki, Toshihide}, biburl = {https://www.bibsonomy.org/bibtex/23d19fe7552bf89d3253316745d14569e/dblp}, ee = {https://doi.org/10.1016/j.dam.2004.02.002}, interhash = {7cea89cc9f39a957e46f35b6f22b59f1}, intrahash = {3d19fe7552bf89d3253316745d14569e}, journal = {Discret. Appl. Math.}, keywords = {dblp}, number = {1-3}, pages = {151-163}, timestamp = {2024-04-09T01:25:24.000+0200}, title = {Reasoning with ordered binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/journals/dam/dam142.html#HoriyamaI04}, volume = 142, year = 2004 }