@article{oai:ipsj.ixsq.nii.ac.jp:00018458,
 author = {鷹野, 芙美代 and 関根, 敦史 and 佐田, 宏史 and 前川, 仁孝 and 六沢, 一昭 and Fumiyo, Takano and Atsushi, Sekine and Hiroshi, Sata and Yoshitaka, Maekawa and Kazuaki, Rokusawa},
 issue = {SIG11(ACS7)},
 journal = {情報処理学会論文誌コンピューティングシステム（ACS）},
 month = {Oct},
 note = {本論文では階層的挟み撃ち探索を用いたAND/OR木の並列探索手法について提案する．証明数の小さい節点は解である可能性が高い．そのため，証明数を用いるAND/OR木の並列探索の多くは証明数の小さい節点から探索する．しかし証明数の大きい節点が解である場合は，解を見つけるのに多くの時間を必要とする．そこで，証明数の小さい節点と証明数の大きい節点の探索を並列に行い，さらに証明数の小さい節点に多くのプロセッサを割り当てる並列探索手法を提案する．このように複数プロセッサで探索することにより，従来の探索法では解を見つけるまでに時間がかかる証明数の大きい節点が解である場合にも，探索時間を短縮することができる．提案手法を共有メモリ型並列計算機に実装して評価した．評価の結果，逐次探索では時間のかかる問題に対し，スーパリニアスピードアップが確認された．, This paper proposes a parallel AND/OR tree search algorithm using the hierarchical pincers attack search. Parallel processing algorithms of AND/OR tree search are proposed. Many of them search a tree from a node having a small proof number. When a solution is a node having a large proof number, they need a long computation time. Therefore, the proposed algorithm uses the hierarchical pincers attack search. It is able to search from a node having a small proof number and a node having a large proof number simultaneously. Additionally, many processors search some nodes having a small proof number, and a few processors search some nodes having a large proof number. The proposed algorithm is implemented on a shared memory multiprocessor and evaluated. The result shows super linear speedup by parallel processing when sequential search needs a long computation time.},
 pages = {280--289},
 title = {AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索},
 volume = {45},
 year = {2004}
}