@techreport{oai:ipsj.ixsq.nii.ac.jp:00023240,
 author = {鷹野, 芙美代 and 佐田, 宏史 and 前川, 仁孝 and 六沢, 一昭 and 宮崎, 収兄 and Fumiyo, Takano and Hiroshi, Sata and Yoshitaka, Maekawa and Kazuaki, Rokusawa and Nobuyoshi, Miyazaki},
 issue = {19(2004-ARC-162)},
 month = {Mar},
 note = {本稿では，PDSの複数の探索経路を同時に探索することにより，証明数の大きい節点に存在する解も高速に発見する逐次探索手法を提案する．証明数を用いた探索では，証明数の小さい節点は解である可能性が高いため，一般に証明数の小さい節点から探索する．そのため，証明数の大きい節点が解であった場合に多くの時間を必要とする．そこで証明数の大きい節点と小さい節点の複数経路を交互に探索することで証明数の大きい節点が解である場合でも早く解を見つけることができる．加えて探索時の情報を用いて各経路の探索順と探索量を動的に変更することでさらに効率良く探索できる．本稿では証明数などを用いて探索順・探索量を動的に変更し，評価した．, This paper proposes a fast sequential algorithm searching multiple paths simultaneously. A node with a small proof number has a high probability of a solution.  Search algorithms using proof numbers searches only from a node with a small proof number.  Though, it takes a long computation time if a solution is a node with a large proof number.  The proposed algorithm searches alternately nodes with a large proof number and nodes with a small proof number.  Additionally, it changes the amount of search and the order of search in each search path dynamically by using runtime information while searching.  Finally, this paper evaluates the algorithm using proof numbers to change the amount of search and the order of search.},
 title = {証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化},
 year = {2005}
}