Kouichi Hirata, Shinichi Shimozono, Ayumi Shinohara. On the Hardness of Approximating the Minimum Consistent OBDD Problem. In Rolf G. Karlsson, Andrzej Lingas, editors, Algorithm Theory - SWAT 96, 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996, Proceedings. Volume 1097 of Lecture Notes in Computer Science, pages 112-123, Springer, 1996.
Abstract is missing.