@inproceedings{weko_183291_1, author = "松永,裕介", title = "XOR制約を用いたSAT問題のサンプリングとテストパタン生成への応用", booktitle = "DAシンポジウム2017論文集", year = "2017", volume = "2017", number = "", pages = "234--239", month = "aug" }