Takashi Horiyama, Toshihide Ibaraki. Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams. In Peter Eades, Tadao Takaoka, editors, Algorithms and Computation, 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings. Volume 2223 of Lecture Notes in Computer Science, pages 231-243, Springer, 2001. [doi]
Abstract is missing.