@misc{oai:tsukuba.repo.nii.ac.jp:00012621, author = {内野, 寛治 and Uchino, Kanji}, month = {}, note = {1995, 【要旨】}, title = {制約充足問題の並列化とその応用に関する研究}, year = {1996} }