@misc{oai:tsukuba.repo.nii.ac.jp:00013069,
 author = {李, 江洪},
 month = {},
 note = {1994, 【要旨】},
 title = {制約充足アルゴリズムの計算複雑さに関する研究},
 year = {1994}
}