@misc{oai:tsukuba.repo.nii.ac.jp:00017596,
 author = {水野, 一徳 and Mizuno, Kazunori},
 month = {},
 note = {2000, 【要旨】},
 title = {制約充足問題の解探索アルゴリズムおよび効率評価に関する研究},
 year = {2001}
}