@article{weko_169445_1, author = "井上,克巳", title = "SAT技術の進化と応用 〜パズルからプログラム検証まで〜:4. SATとAI", journal = "情報処理", year = "2016", volume = "57", number = "8", pages = "720--723", month = "jul" }