@InProceedings{187,
  title = {SATソルバの並列実行に関する一考察},
  author = {上田 盛慈 and 鵜飼 訓史 and 井上 克巳 and 番原 睦則 and 田村 直之 and 川村 尚生},
  yomi = {Seiji UEDA and Satoshi UKAI and Katumi INOUE and Mutsunori BANBARA and Naoyuki TAMURA and Takao Kawamura},
  booktitle = {電子情報通信学会技術報告},
  volume = {AI2003-8},
  pages = {41--46},
  year = {2003},
  month = {5}
}