@inproceedings{weko_133451_1, author = "Viet Ha,Nguyen and 石川,勉 and 金杉,友子", title = "制約充足的手法を応用したクロスワードパズルの解法", booktitle = "全国大会講演論文集", year = "1998", volume = "第56回", number = "人工知能と認知科学", pages = "314--315", month = "mar" }