%0 Journal Article %1 journals/ipl/HoriyamaI03 %A Horiyama, Takashi %A Ibaraki, Toshihide %D 2003 %J Inf. Process. Lett. %K dblp %N 4 %P 191-198 %T Translation among CNFs, characteristic models and ordered binary decision diagrams. %U http://dblp.uni-trier.de/db/journals/ipl/ipl85.html#HoriyamaI03 %V 85

@article{journals/ipl/HoriyamaI03, added-at = {2003-11-24T00:00:00.000+0100}, author = {Horiyama, Takashi and Ibaraki, Toshihide}, biburl = {https://www.bibsonomy.org/bibtex/2b87fc165e3631ce4504dadb3fe286cd9/dblp}, date = {2003-11-24}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0020-0190(02)00374-5}, interhash = {33110be295058bc09905b458504a0c92}, intrahash = {b87fc165e3631ce4504dadb3fe286cd9}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 4, pages = {191-198}, timestamp = {2003-11-24T00:00:00.000+0100}, title = {Translation among CNFs, characteristic models and ordered binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl85.html#HoriyamaI03}, volume = 85, year = 2003 }