Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao. Extraction of Coverings as Monotone DNF Formulas. In Gunter Grieser, Yuzuru Tanaka, Akihiro Yamamoto, editors, Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings. Volume 2843 of Lecture Notes in Computer Science, pages 166-179, Springer, 2003. [doi]
Abstract is missing.