Seiji UEDA（上田 盛慈）

研究報告

1. SATソルバの並列実行に関する一考察
   上田 盛慈, 鵜飼 訓史, 井上 克巳, 番原 睦則, 田村 直之, 川村 尚生, 電子情報通信学会技術報告, Vol. AI2003-8, pp. 41-46 (2003).
   BibTeX 概要