Shohei Kato, Hirohisa Seki, Hidenori Itoh. A parallel implementation of cost-based abductive reasoning. In Hoon Hong, Erich Kaltofen, Markus A. Hitz, editors, Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, PASCO 1997, July 20-22, 1997, Kihei, Hawaii, USA. pages 111-118, ACM, 1997. [doi]
Abstract is missing.