Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto. Computing Characteristic Sets of Bounded Unions of Polynomial Ideals. In Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura, editors, New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Volume 4914 of Lecture Notes in Computer Science, pages 318-329, Springer, 2007. [doi]
Abstract is missing.