@inproceedings{weko_123348_1, author = "窪田,信一郎 and 内野,寛治 and 李,江洪 and 山下,正吾 and 西原,清一", title = "併合法による制約充足の並列化効果について", booktitle = "全国大会講演論文集", year = "1993", volume = "第46回", number = "人工知能及び認知科学", pages = "1--2", month = "mar" }