@article{oai:tsukuba.repo.nii.ac.jp:00036436, author = {内野, 寛治 and 窪田, 信一郎 and 狩野, 均 and KANOH, Hitoshi and 西原, 清一 and NISHIHARA, Seiichi}, issue = {12}, journal = {情報処理学会論文誌, IPSJ Journal}, month = {Dec}, pages = {2676--2684}, title = {制約充足問題の並列化効率に基づく分類}, volume = {35}, year = {1994}, yomi = {カノウ, ヒトシ and ニシハラ, セイイチ} }